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