Anne is round. Anne is young. Dave is red. Dave is smart. Gary is big. Gary is round. Gary is young. Harry is big. Harry is blue. Harry is red. Harry is smart. Harry is young. Red things are furry. Round, big things are young. Smart, blue things are round. All blue, round things are big. All furry, red things are blue. If something is big and young then it is round.
Gary is young.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Gary is big.[(triple5)] Gary is round.[(triple6 OR ((triple5 triple7) -> rule6))] Gary is young.[(triple7 OR ((triple6 triple5) -> rule2))] Harry is big.[(triple8 OR ((triple9 ((triple11 triple9) -> rule3)) -> rule4) OR ((((((triple10) -> rule1) triple10) -> rule5) ((triple11 triple9) -> rule3)) -> rule4) OR ((triple9 ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3)) -> rule4) OR ((((((triple10) -> rule1) triple10) -> rule5) ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3)) -> rule4))] Harry is blue.[(triple9 OR ((((triple10) -> rule1) triple10) -> rule5))] Harry is red.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((((triple11 triple9) -> rule3) triple8) -> rule2) OR ((((triple11 triple9) -> rule3) ((triple9 ((triple11 triple9) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3) triple8) -> rule2) OR ((((triple11 triple9) -> rule3) ((((((triple10) -> rule1) triple10) -> rule5) ((triple11 triple9) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3) ((triple9 ((triple11 triple9) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3) ((((((triple10) -> rule1) triple10) -> rule5) ((triple11 triple9) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 triple9) -> rule3) ((triple9 ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 triple9) -> rule3) ((((((triple10) -> rule1) triple10) -> rule5) ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3) ((triple9 ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3)) -> rule4)) -> rule2) OR ((((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3) ((((((triple10) -> rule1) triple10) -> rule5) ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3)) -> rule4)) -> rule2))] @1: Dave is furry.[(((triple3) -> rule1))] Harry is furry.[(((triple10) -> rule1))] Harry is round.[(((triple11 triple9) -> rule3) OR ((triple8 triple12) -> rule6) OR ((triple11 ((((triple10) -> rule1) triple10) -> rule5)) -> rule3))] @2: Dave is blue.[(((((triple3) -> rule1) triple3) -> rule5))] @3: Dave is round.[(((triple4 ((((triple3) -> rule1) triple3) -> rule5)) -> rule3))] @4: Dave is big.[(((((((triple3) -> rule1) triple3) -> rule5) ((triple4 ((((triple3) -> rule1) triple3) -> rule5)) -> rule3)) -> rule4))] @5: Dave is young.[(((((triple4 ((((triple3) -> rule1) triple3) -> rule5)) -> rule3) ((((((triple3) -> rule1) triple3) -> rule5) ((triple4 ((((triple3) -> rule1) triple3) -> rule5)) -> rule3)) -> rule4)) -> rule2))]