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