Charlie is big. Charlie is blue. Charlie is quiet. Erin is blue. Erin is cold. Erin is quiet. Erin is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is smart. Harry is cold. Harry is nice. Harry is rough. Harry is smart. If Harry is quiet then Harry is cold. If someone is cold and smart then they are quiet. All rough people are nice. Blue people are rough. Big, nice people are cold. All quiet, big people are smart.
Charlie is not cold.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is quiet.[(triple6 OR ((triple5 triple7) -> rule2))] Erin is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10 OR ((triple8 triple11) -> rule5) OR ((triple8 ((((triple9) -> rule4)) -> rule3)) -> rule5))] Fiona is nice.[(triple11 OR ((((triple9) -> rule4)) -> rule3))] Fiona is smart.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple14 OR ((triple15) -> rule3))] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is rough.[(((triple2) -> rule4))] Charlie is smart.[(((triple3 triple1) -> rule6))] Erin is rough.[(((triple4) -> rule4))] Fiona is quiet.[(((triple10 triple12) -> rule2) OR ((((triple8 triple11) -> rule5) triple12) -> rule2) OR ((((triple8 ((((triple9) -> rule4)) -> rule3)) -> rule5) triple12) -> rule2))] Fiona is rough.[(((triple9) -> rule4))] Harry is quiet.[(((triple13 triple16) -> rule2))] @2: Charlie is nice.[(((((triple2) -> rule4)) -> rule3))] Erin is nice.[(((((triple4) -> rule4)) -> rule3))] @3: Charlie is cold.[(((triple1 ((((triple2) -> rule4)) -> rule3)) -> rule5))]