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