Bob is smart. Fiona is cold. Fiona is red. Fiona is rough. Harry is big. Harry is cold. Harry is green. Harry is red. Harry is rough. Harry is smart. If Bob is smart and Bob is rough then Bob is cold. If someone is red and rough then they are big. Smart, rough people are kind.
Harry is big.
@0: Bob is smart.[(triple1)] Fiona is cold.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Harry is big.[(triple5 OR ((triple8 triple9) -> rule2))] Harry is cold.[(triple6)] Harry is green.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is big.[(((triple3 triple4) -> rule2))] Harry is kind.[(((triple10 triple9) -> rule3))]