Anne is blue. Bob is blue. Bob is green. Bob is smart. Dave is big. Dave is nice. Fiona is smart. If something is nice then it is not green. Quiet, blue things are big. If something is blue then it is young. If something is nice then it is quiet. Young things are blue. If Anne is young then Anne is quiet. If Dave is young then Dave is green. All big, quiet things are nice. If Fiona is blue then Fiona is not green.
Anne is big.
@0: Anne is blue.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is smart.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is young.[(((triple1) -> rule3))] Bob is young.[(((triple2) -> rule3))] Dave is not green.[(((triple6) -> rule1))] Dave is quiet.[(((triple6) -> rule4))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule6) triple1) -> rule2))] @4: Anne is nice.[(((((((((triple1) -> rule3)) -> rule6) triple1) -> rule2) ((((triple1) -> rule3)) -> rule6)) -> rule8))] @5: Anne is not green.[(((((((((((triple1) -> rule3)) -> rule6) triple1) -> rule2) ((((triple1) -> rule3)) -> rule6)) -> rule8)) -> rule1))]