Bob is big. Bob is round. Bob is young. Fiona is furry. Fiona is kind. Fiona is red. Fiona is young. Gary is furry. Gary is young. Harry is young. If something is round then it is blue. Young things are furry. If Gary is young then Gary is kind. All young, kind things are round. All big, young things are red. Round, red things are kind. If Bob is kind and Bob is blue then Bob is big. If something is furry and big then it is kind.
Harry is not red.
@0: Bob is big.[(triple1)] Bob is round.[(triple2 OR ((triple3 ((((triple3) -> rule2) triple1) -> rule8)) -> rule4))] Bob is young.[(triple3)] Fiona is furry.[(triple4 OR ((triple7) -> rule2))] Fiona is kind.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] Gary is furry.[(triple8 OR ((triple9) -> rule2))] Gary is young.[(triple9)] Harry is young.[(triple10)] @1: Bob is blue.[(((triple2) -> rule1) OR ((((triple3 ((((triple3) -> rule2) triple1) -> rule8)) -> rule4)) -> rule1))] Bob is furry.[(((triple3) -> rule2))] Bob is red.[(((triple1 triple3) -> rule5))] Fiona is round.[(((triple7 triple5) -> rule4))] Gary is kind.[(((triple9) -> rule3))] Harry is furry.[(((triple10) -> rule2))] @2: Bob is kind.[(((triple2 ((triple1 triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule2) triple1) -> rule8))] Fiona is blue.[(((((triple7 triple5) -> rule4)) -> rule1))] Gary is round.[(((triple9 ((triple9) -> rule3)) -> rule4))] @3: Gary is blue.[(((((triple9 ((triple9) -> rule3)) -> rule4)) -> rule1))]