Bob is blue. Bob is furry. Bob is green. Bob is rough. Bob is smart. Bob is white. Bob is young. Charlie is not blue. Charlie is not green. Gary is blue. Gary is furry. Gary is smart. Young, rough things are green. If something is blue then it is young. All smart, green things are young. Smart things are blue. White, young things are smart. Furry things are white.
Gary is not furry.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule4) OR ((((triple6 triple7) -> rule5)) -> rule4) OR ((((((triple2) -> rule6) triple7) -> rule5)) -> rule4))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple7 triple4) -> rule1) OR ((((triple1) -> rule2) triple4) -> rule1) OR ((((((triple5) -> rule4)) -> rule2) triple4) -> rule1))] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple1) -> rule2)) -> rule5) OR ((((triple2) -> rule6) triple7) -> rule5) OR ((((triple2) -> rule6) ((triple1) -> rule2)) -> rule5))] Bob is white.[(triple6 OR ((triple2) -> rule6))] Bob is young.[(triple7 OR ((triple1) -> rule2) OR ((triple5 triple3) -> rule3) OR ((((triple5) -> rule4)) -> rule2))] Charlie is not blue.[(triple8)] Charlie is not green.[(triple9)] Gary is blue.[(triple10 OR ((triple12) -> rule4))] Gary is furry.[(triple11)] Gary is smart.[(triple12 OR ((((triple11) -> rule6) ((triple10) -> rule2)) -> rule5))] @1: Gary is white.[(((triple11) -> rule6))] Gary is young.[(((triple10) -> rule2) OR ((((triple12) -> rule4)) -> rule2))]