Anne is kind. Anne is quiet. Anne is smart. Anne is white. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. Dave is kind. Dave is quiet. Fiona is blue. Fiona is green. Fiona is kind. Fiona is white. All quiet, green things are smart. All kind things are smart. If something is smart then it is blue. If something is quiet and green then it is young. Blue things are green. Green things are white.
Anne is young.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule2))] Anne is white.[(triple4 OR ((((((triple3) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Bob is green.[(triple5 OR ((((triple7) -> rule3)) -> rule5) OR ((((((triple6) -> rule2)) -> rule3)) -> rule5))] Bob is kind.[(triple6)] Bob is smart.[(triple7 OR ((triple6) -> rule2))] Bob is white.[(triple8 OR ((triple5) -> rule6) OR ((((((triple7) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Bob is young.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Fiona is blue.[(triple12 OR ((((triple14) -> rule2)) -> rule3))] Fiona is green.[(triple13 OR ((triple12) -> rule5) OR ((((((triple14) -> rule2)) -> rule3)) -> rule5))] Fiona is kind.[(triple14)] Fiona is white.[(triple15 OR ((triple13) -> rule6) OR ((((triple12) -> rule5)) -> rule6) OR ((((((((triple14) -> rule2)) -> rule3)) -> rule5)) -> rule6))] @1: Anne is blue.[(((triple3) -> rule3) OR ((((triple1) -> rule2)) -> rule3))] Bob is blue.[(((triple7) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Dave is smart.[(((triple10) -> rule2))] Fiona is smart.[(((triple14) -> rule2))] @2: Anne is green.[(((((triple3) -> rule3)) -> rule5) OR ((((((triple1) -> rule2)) -> rule3)) -> rule5))] Dave is blue.[(((((triple10) -> rule2)) -> rule3))] @3: Anne is young.[(((triple2 ((((triple3) -> rule3)) -> rule5)) -> rule4) OR ((triple2 ((((((triple1) -> rule2)) -> rule3)) -> rule5)) -> rule4))] Dave is green.[(((((((triple10) -> rule2)) -> rule3)) -> rule5))] @4: Dave is white.[(((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Dave is young.[(((triple11 ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule4))]