Bob is big. Bob is furry. Bob is nice. Fiona is quiet. Fiona is rough. Harry is not big. Harry is nice. If someone is big and not nice then they are furry. Big, kind people are red. If Bob is big and Bob is kind then Bob is furry. If someone is red and kind then they are rough. All quiet, nice people are not rough. Furry people are kind. All furry, nice people are kind. If Harry is big and Harry is rough then Harry is not quiet.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Harry is nice.[(triple7)] Harry is not big.[(triple6)] @1: Bob is kind.[(((triple2) -> rule6) OR ((triple2 triple3) -> rule7))] @2: Bob is red.[(((triple1 ((triple2) -> rule6)) -> rule2) OR ((triple1 ((triple2 triple3) -> rule7)) -> rule2))] @3: Bob is rough.[(((((triple1 ((triple2) -> rule6)) -> rule2) ((triple2) -> rule6)) -> rule4) OR ((((triple1 ((triple2) -> rule6)) -> rule2) ((triple2 triple3) -> rule7)) -> rule4) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule2) ((triple2) -> rule6)) -> rule4) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule2) ((triple2 triple3) -> rule7)) -> rule4))]