Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is smart. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is smart. Furry, red people are blue. Smart, red people are green. Quiet people are furry. If someone is red and furry then they are blue. Quiet people are young. All red, furry people are smart.
Bob is furry.
@0: Bob is blue.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple3) -> rule3)) -> rule4) OR ((((triple3) -> rule3) triple4) -> rule1))] Bob is furry.[(triple2 OR ((triple3) -> rule3))] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple3) -> rule3)) -> rule6))] Gary is blue.[(triple6 OR ((triple7 triple9) -> rule1) OR ((triple9 triple7) -> rule4))] Gary is furry.[(triple7)] Gary is green.[(triple8 OR ((triple10 triple9) -> rule2) OR ((((triple9 triple7) -> rule6) triple9) -> rule2))] Gary is red.[(triple9)] Gary is smart.[(triple10 OR ((triple9 triple7) -> rule6))] @1: Bob is green.[(((triple5 triple4) -> rule2) OR ((((triple4 triple2) -> rule6) triple4) -> rule2) OR ((((triple4 ((triple3) -> rule3)) -> rule6) triple4) -> rule2))] Bob is young.[(((triple3) -> rule5))]