Erin is big. Erin is cold. Erin is quiet. Erin is red. Erin is young. Fiona is big. Fiona is nice. Fiona is smart. Fiona is young. Harry is cold. All cold things are smart. If something is quiet and young then it is red. All cold things are red. Smart things are young. All cold, nice things are young. If something is cold then it is quiet.
Fiona is not cold.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3 OR ((triple2) -> rule6))] Erin is red.[(triple4 OR ((triple2) -> rule3) OR ((triple3 triple5) -> rule2) OR ((((triple2) -> rule6) triple5) -> rule2) OR ((triple3 ((((triple2) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule6) ((((triple2) -> rule1)) -> rule4)) -> rule2))] Erin is young.[(triple5 OR ((((triple2) -> rule1)) -> rule4))] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9 OR ((triple8) -> rule4))] Harry is cold.[(triple10)] @1: Erin is smart.[(((triple2) -> rule1))] Harry is quiet.[(((triple10) -> rule6))] Harry is red.[(((triple10) -> rule3) OR ((((triple10) -> rule6) ((((triple10) -> rule1)) -> rule4)) -> rule2))] Harry is smart.[(((triple10) -> rule1))] @2: Harry is young.[(((((triple10) -> rule1)) -> rule4))]