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