Charlie is big. Charlie is cold. Charlie is red. Charlie is smart. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Fiona is big. Fiona is white. Harry is cold. Harry is red. Cold things are quiet. Quiet things are nice. If Harry is white and Harry is smart then Harry is quiet. If something is red then it is white. If Fiona is red then Fiona is cold. Nice things are big.
Harry is not big.
@0: Charlie is big.[(triple1 OR ((((((triple2) -> rule1)) -> rule2)) -> rule6))] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Erin is nice.[(triple5 OR ((triple6) -> rule2))] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8)] Fiona is big.[(triple9)] Fiona is white.[(triple10)] Harry is cold.[(triple11)] Harry is red.[(triple12)] @1: Charlie is quiet.[(((triple2) -> rule1))] Charlie is white.[(((triple3) -> rule4))] Erin is big.[(((triple5) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] Erin is white.[(((triple7) -> rule4))] Harry is quiet.[(((triple11) -> rule1))] Harry is white.[(((triple12) -> rule4))] @2: Charlie is nice.[(((((triple2) -> rule1)) -> rule2))] Harry is nice.[(((((triple11) -> rule1)) -> rule2))] @3: Harry is big.[(((((((triple11) -> rule1)) -> rule2)) -> rule6))]