Bob is big. Bob is round. Erin is furry. Erin is round. Erin is white. Harry is big. Harry is smart. If Bob is green then Bob is smart. If Erin is round then Erin is smart. All furry people are white. If someone is round and furry then they are big. Green, round people are smart. Furry, big people are green. All round people are smart. If someone is big and furry then they are green.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is round.[(triple2)] Erin is furry.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule3))] Harry is big.[(triple6)] Harry is smart.[(triple7)] @1: Bob is smart.[(((triple2) -> rule7))] Erin is big.[(((triple4 triple3) -> rule4))] Erin is smart.[(((triple4) -> rule2) OR ((triple4) -> rule7) OR ((((triple3 ((triple4 triple3) -> rule4)) -> rule6) triple4) -> rule5) OR ((((((triple4 triple3) -> rule4) triple3) -> rule8) triple4) -> rule5))] @2: Erin is green.[(((triple3 ((triple4 triple3) -> rule4)) -> rule6) OR ((((triple4 triple3) -> rule4) triple3) -> rule8))]