Bob is big. Bob is rough. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Harry is big. Harry is furry. Harry is red. Harry is rough. If someone is rough and nice then they are red. If someone is red and nice then they are big. If someone is smart and big then they are rough.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6 OR ((triple7 triple5) -> rule1))] Fiona is rough.[(triple7 OR ((triple8 ((triple6 triple5) -> rule2)) -> rule3))] Fiona is smart.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Fiona is big.[(((triple6 triple5) -> rule2) OR ((((triple7 triple5) -> rule1) triple5) -> rule2))]