Anne is kind. Anne is red. Anne is rough. Erin is green. Erin is red. Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Harry is big. Harry is green. Harry is red. Harry is round. All cold, kind things are rough. All rough, cold things are big. If something is rough and cold then it is big. If Erin is big and Erin is red then Erin is rough. If Harry is red and Harry is kind then Harry is green. Red things are cold.
Erin is kind.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3 OR ((((triple2) -> rule6) triple1) -> rule1))] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6 OR ((triple10 triple7) -> rule2) OR ((triple10 triple7) -> rule3) OR ((triple10 ((triple9) -> rule6)) -> rule2) OR ((triple10 ((triple9) -> rule6)) -> rule3) OR ((((triple7 triple8) -> rule1) triple7) -> rule2) OR ((((triple7 triple8) -> rule1) triple7) -> rule3) OR ((((triple7 triple8) -> rule1) ((triple9) -> rule6)) -> rule2) OR ((((triple7 triple8) -> rule1) ((triple9) -> rule6)) -> rule3) OR ((((((triple9) -> rule6) triple8) -> rule1) triple7) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule1) triple7) -> rule3) OR ((((((triple9) -> rule6) triple8) -> rule1) ((triple9) -> rule6)) -> rule2) OR ((((((triple9) -> rule6) triple8) -> rule1) ((triple9) -> rule6)) -> rule3))] Fiona is cold.[(triple7 OR ((triple9) -> rule6))] Fiona is kind.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple7 triple8) -> rule1) OR ((((triple9) -> rule6) triple8) -> rule1))] Fiona is round.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Anne is cold.[(((triple2) -> rule6))] Erin is cold.[(((triple5) -> rule6))] Harry is cold.[(((triple14) -> rule6))] @2: Anne is big.[(((triple3 ((triple2) -> rule6)) -> rule2) OR ((triple3 ((triple2) -> rule6)) -> rule3) OR ((((((triple2) -> rule6) triple1) -> rule1) ((triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule6) triple1) -> rule1) ((triple2) -> rule6)) -> rule3))]