Bob is rough. Charlie is rough. Fiona is big. Harry is blue. If Bob is red and Bob is smart then Bob is blue. If Fiona is rough then Fiona is blue. All big, smart things are furry. Blue things are furry. If Harry is big then Harry is blue. All big, blue things are rough. Furry, smart things are big. Blue things are furry.
Harry is furry.
@0: Bob is rough.[(triple1)] Charlie is rough.[(triple2)] Fiona is big.[(triple3)] Harry is blue.[(triple4)] @1: Harry is furry.[(((triple4) -> rule4) OR ((triple4) -> rule8))]