Anne is cold. Anne is nice. Anne is not quiet. Anne is rough. Anne is smart. Fiona is big. Fiona is quiet. Fiona is red. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Red, rough people are quiet. If someone is rough and big then they are cold. If someone is cold and not smart then they are not rough. Red, cold people are big. If someone is nice and not red then they are big. Quiet people are big. If Fiona is cold and Fiona is big then Fiona is not rough. If Fiona is not nice then Fiona is rough.
Harry is not big.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is not quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Fiona is big.[(triple6 OR ((triple7) -> rule6))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10 OR ((triple11 triple12) -> rule1))] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Harry is big.[(((triple10) -> rule6) OR ((((triple11 triple12) -> rule1)) -> rule6))] @2: Harry is cold.[(((triple12 ((triple10) -> rule6)) -> rule2) OR ((triple12 ((((triple11 triple12) -> rule1)) -> rule6)) -> rule2))]