Bob is blue. Bob is nice. Bob is white. Bob is young. Fiona is blue. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is round. Gary is white. Gary is young. Harry is green. Harry is nice. Harry is red. All blue, white things are red. If something is round and young then it is red. If something is round and blue then it is young. If something is blue then it is round. If something is nice then it is white. If something is round then it is nice.
Fiona is young.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2 OR ((((triple1) -> rule4)) -> rule6))] Bob is white.[(triple3 OR ((triple2) -> rule5) OR ((((((triple1) -> rule4)) -> rule6)) -> rule5))] Bob is young.[(triple4 OR ((((triple1) -> rule4) triple1) -> rule3))] Fiona is blue.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8 OR ((triple10) -> rule6) OR ((((triple6) -> rule4)) -> rule6))] Gary is red.[(triple9 OR ((triple10 triple12) -> rule2) OR ((triple6 triple11) -> rule1) OR ((triple10 ((triple10 triple6) -> rule3)) -> rule2) OR ((triple6 ((triple8) -> rule5)) -> rule1) OR ((((triple6) -> rule4) triple12) -> rule2) OR ((((triple6) -> rule4) ((triple10 triple6) -> rule3)) -> rule2) OR ((triple10 ((((triple6) -> rule4) triple6) -> rule3)) -> rule2) OR ((triple6 ((((triple10) -> rule6)) -> rule5)) -> rule1) OR ((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule3)) -> rule2) OR ((triple6 ((((((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1))] Gary is round.[(triple10 OR ((triple6) -> rule4))] Gary is white.[(triple11 OR ((triple8) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6)) -> rule5))] Gary is young.[(triple12 OR ((triple10 triple6) -> rule3) OR ((((triple6) -> rule4) triple6) -> rule3))] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] @1: Bob is red.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple2) -> rule5)) -> rule1) OR ((((triple1) -> rule4) triple4) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule3)) -> rule2) OR ((triple1 ((((((triple1) -> rule4)) -> rule6)) -> rule5)) -> rule1))] Bob is round.[(((triple1) -> rule4))] Fiona is round.[(((triple5) -> rule4))] Harry is white.[(((triple14) -> rule5))] @2: Fiona is nice.[(((((triple5) -> rule4)) -> rule6))] Fiona is young.[(((((triple5) -> rule4) triple5) -> rule3))] @3: Fiona is red.[(((((triple5) -> rule4) ((((triple5) -> rule4) triple5) -> rule3)) -> rule2) OR ((triple5 ((((((triple5) -> rule4)) -> rule6)) -> rule5)) -> rule1))] Fiona is white.[(((((((triple5) -> rule4)) -> rule6)) -> rule5))]