Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Bob is smart. All red people are furry. If someone is smart then they are blue. All smart, red people are green. All red, round people are smart. If someone is round and red then they are green. Blue people are kind.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple7) -> rule2) OR ((((triple5 triple6) -> rule4)) -> rule2))] Bob is furry.[(triple2 OR ((triple5) -> rule1))] Bob is green.[(triple3 OR ((triple6 triple5) -> rule5) OR ((triple7 triple5) -> rule3) OR ((((triple5 triple6) -> rule4) triple5) -> rule3))] Bob is kind.[(triple4 OR ((triple1) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple5 triple6) -> rule4)) -> rule2)) -> rule6))] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple5 triple6) -> rule4))]