Bob is quiet. Bob is red. Fiona is white. Fiona is young. Gary is quiet. Gary is round. Gary is white. Gary is young. Harry is quiet. Harry is red. Harry is smart. Harry is young. Round, red people are quiet. If someone is round and white then they are rough. If someone is red and rough then they are quiet. If someone is red then they are rough. Rough, quiet people are smart. If someone is quiet then they are round. If Bob is rough and Bob is red then Bob is smart. If someone is round then they are smart.
Bob is red.
@0: Bob is quiet.[(triple1 OR ((triple2 ((triple2) -> rule4)) -> rule3))] Bob is red.[(triple2)] Fiona is white.[(triple3)] Fiona is young.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6 OR ((triple5) -> rule6))] Gary is white.[(triple7)] Gary is young.[(triple8)] Harry is quiet.[(triple9 OR ((triple10 ((triple10) -> rule4)) -> rule3))] Harry is red.[(triple10)] Harry is smart.[(triple11 OR ((((triple9) -> rule6)) -> rule8) OR ((((triple10) -> rule4) triple9) -> rule5) OR ((((triple10) -> rule4) ((triple10 ((triple10) -> rule4)) -> rule3)) -> rule5) OR ((((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule6)) -> rule8))] Harry is young.[(triple12)] @1: Bob is rough.[(((triple2) -> rule4))] Bob is round.[(((triple1) -> rule6) OR ((((triple2 ((triple2) -> rule4)) -> rule3)) -> rule6))] Gary is rough.[(((triple6 triple7) -> rule2) OR ((((triple5) -> rule6) triple7) -> rule2))] Gary is smart.[(((triple6) -> rule8) OR ((((triple5) -> rule6)) -> rule8) OR ((((triple6 triple7) -> rule2) triple5) -> rule5) OR ((((((triple5) -> rule6) triple7) -> rule2) triple5) -> rule5))] Harry is rough.[(((triple10) -> rule4))] Harry is round.[(((triple9) -> rule6) OR ((((triple10 ((triple10) -> rule4)) -> rule3)) -> rule6))] @2: Bob is smart.[(((((triple1) -> rule6)) -> rule8) OR ((((triple2) -> rule4) triple1) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule7) OR ((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule3)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule3)) -> rule6)) -> rule8))]