Bob is not big. Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is not white. Gary is big. Gary is green. Gary is rough. Gary is round. Gary is white. Red, rough people are round. Green people are round. All red, white people are round. If someone is blue and round then they are red. Round, white people are big. All round people are blue.
Gary is red.
@0: Bob is blue.[(triple2 OR ((triple6) -> rule6) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple4 triple5) -> rule1)) -> rule6))] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is not white.[(triple7)] Bob is red.[(triple4 OR ((triple2 triple6) -> rule4) OR ((triple2 ((triple3) -> rule2)) -> rule4) OR ((((triple6) -> rule6) triple6) -> rule4) OR ((((triple6) -> rule6) ((triple3) -> rule2)) -> rule4) OR ((((((triple3) -> rule2)) -> rule6) triple6) -> rule4) OR ((((((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule4))] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple3) -> rule2) OR ((triple4 triple5) -> rule1))] Gary is big.[(triple8 OR ((triple11 triple12) -> rule5) OR ((((triple9) -> rule2) triple12) -> rule5))] Gary is green.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11 OR ((triple9) -> rule2))] Gary is white.[(triple12)] @1: Gary is blue.[(((triple11) -> rule6) OR ((((triple9) -> rule2)) -> rule6))] @2: Gary is red.[(((((triple11) -> rule6) triple11) -> rule4) OR ((((triple11) -> rule6) ((triple9) -> rule2)) -> rule4) OR ((((((triple9) -> rule2)) -> rule6) triple11) -> rule4) OR ((((((triple9) -> rule2)) -> rule6) ((triple9) -> rule2)) -> rule4))]