Fiona is big. Fiona is cold. Fiona is quiet. Fiona is not red. Fiona is not smart. Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Fiona is quiet and Fiona is not smart then Fiona is cold. Furry things are big. If something is cold then it is quiet.
Harry is not rough.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple3 triple5) -> rule1))] Fiona is not red.[(triple4)] Fiona is not smart.[(triple5)] Fiona is quiet.[(triple3 OR ((triple2) -> rule3))] Harry is big.[(triple6 OR ((triple8) -> rule2))] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is quiet.[(triple9 OR ((triple7) -> rule3))] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)]