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