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