Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is smart. Anne is white. Anne is young. Dave is blue. Dave is furry. Dave is round. Fiona is blue. Fiona is furry. Fiona is smart. Fiona is white. Harry is furry. If something is white then it is furry. All blue things are white. If Fiona is young then Fiona is round. White, smart things are young. Young things are blue. Round things are blue.
Dave is smart.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule6) OR ((triple7) -> rule5) OR ((((triple6 triple5) -> rule4)) -> rule5))] Anne is furry.[(triple2 OR ((triple6) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((triple7) -> rule5)) -> rule2)) -> rule1))] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple1) -> rule2) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Anne is young.[(triple7 OR ((triple6 triple5) -> rule4) OR ((((triple1) -> rule2) triple5) -> rule4) OR ((((((triple4) -> rule6)) -> rule2) triple5) -> rule4))] Dave is blue.[(triple8 OR ((triple10) -> rule6))] Dave is furry.[(triple9 OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple10) -> rule6)) -> rule2)) -> rule1))] Dave is round.[(triple10)] Fiona is blue.[(triple11 OR ((((triple14 triple13) -> rule4)) -> rule5) OR ((((((triple14 triple13) -> rule4)) -> rule3)) -> rule6))] Fiona is furry.[(triple12 OR ((triple14) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple11) -> rule2))] Harry is furry.[(triple15)] @1: Dave is white.[(((triple8) -> rule2) OR ((((triple10) -> rule6)) -> rule2))] Fiona is young.[(((triple14 triple13) -> rule4) OR ((((triple11) -> rule2) triple13) -> rule4))] @2: Fiona is round.[(((((triple14 triple13) -> rule4)) -> rule3) OR ((((((triple11) -> rule2) triple13) -> rule4)) -> rule3))]