Dave is cold. Dave is nice. Dave is quiet. Erin is big. Erin is blue. Erin is quiet. Erin is smart. Gary is big. Gary is quiet. Gary is smart. Harry is blue. Harry is nice. Harry is quiet. Harry is red. Harry is smart. All cold things are quiet. Nice, blue things are red. If something is smart then it is quiet. If something is cold and red then it is smart. All smart things are big. Big things are smart.
Erin is not big.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3 OR ((triple1) -> rule1))] Erin is big.[(triple4 OR ((triple7) -> rule5))] Erin is blue.[(triple5)] Erin is quiet.[(triple6 OR ((triple7) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Erin is smart.[(triple7 OR ((triple4) -> rule6))] Gary is big.[(triple8 OR ((triple10) -> rule5))] Gary is quiet.[(triple9 OR ((triple10) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] Gary is smart.[(triple10 OR ((triple8) -> rule6))] Harry is blue.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple15) -> rule3))] Harry is red.[(triple14 OR ((triple12 triple11) -> rule2))] Harry is smart.[(triple15)] @1: Harry is big.[(((triple15) -> rule5))]