Anne is green. Anne is red. Bob is red. Bob is white. Bob is young. Dave is furry. Dave is green. Dave is young. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is white. Gary is young. If someone is red and white then they are green. White, rough people are furry. All red, green people are rough.
Bob is rough.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is young.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10 OR ((triple14 triple13) -> rule2) OR ((triple14 ((triple12 triple11) -> rule3)) -> rule2) OR ((triple14 ((triple12 ((triple12 triple14) -> rule1)) -> rule3)) -> rule2))] Gary is green.[(triple11 OR ((triple12 triple14) -> rule1))] Gary is red.[(triple12)] Gary is rough.[(triple13 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple12 triple14) -> rule1)) -> rule3))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Anne is rough.[(((triple2 triple1) -> rule3))] Bob is green.[(((triple3 triple4) -> rule1))] @2: Bob is rough.[(((triple3 ((triple3 triple4) -> rule1)) -> rule3))] @3: Bob is furry.[(((triple4 ((triple3 ((triple3 triple4) -> rule1)) -> rule3)) -> rule2))]