Anne is green. Anne is red. Anne is round. Anne is white. Bob is red. Bob is rough. Bob is young. Gary is blue. Gary is red. Gary is round. Gary is white. Gary is young. Harry is green. Harry is red. Harry is rough. Harry is young. All white, red things are rough. If something is green and white then it is rough. Green things are blue. All green, red things are white. All blue, rough things are round. If Bob is rough then Bob is blue. Blue, round things are green. If something is rough then it is young.
Bob is green.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((((triple1) -> rule3) ((triple1 triple4) -> rule2)) -> rule5) OR ((((triple1) -> rule3) ((triple4 triple2) -> rule1)) -> rule5) OR ((((triple1) -> rule3) ((triple1 ((triple1 triple2) -> rule4)) -> rule2)) -> rule5) OR ((((triple1) -> rule3) ((((triple1 triple2) -> rule4) triple2) -> rule1)) -> rule5))] Anne is white.[(triple4 OR ((triple1 triple2) -> rule4))] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule8))] Gary is blue.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10 OR ((triple8 ((triple11 triple9) -> rule1)) -> rule5))] Gary is white.[(triple11 OR ((((triple8 triple10) -> rule7) triple9) -> rule4))] Gary is young.[(triple12 OR ((((triple11 triple9) -> rule1)) -> rule8) OR ((((((triple8 triple10) -> rule7) triple11) -> rule2)) -> rule8) OR ((((((((triple8 triple10) -> rule7) triple9) -> rule4) triple9) -> rule1)) -> rule8) OR ((((((triple8 triple10) -> rule7) ((((triple8 triple10) -> rule7) triple9) -> rule4)) -> rule2)) -> rule8))] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((triple13 ((triple13 triple14) -> rule4)) -> rule2) OR ((((triple13 triple14) -> rule4) triple14) -> rule1))] Harry is young.[(triple16 OR ((triple15) -> rule8) OR ((((triple13 ((triple13 triple14) -> rule4)) -> rule2)) -> rule8) OR ((((((triple13 triple14) -> rule4) triple14) -> rule1)) -> rule8))] @1: Anne is blue.[(((triple1) -> rule3))] Anne is rough.[(((triple1 triple4) -> rule2) OR ((triple4 triple2) -> rule1) OR ((triple1 ((triple1 triple2) -> rule4)) -> rule2) OR ((((triple1 triple2) -> rule4) triple2) -> rule1))] Bob is blue.[(((triple6) -> rule6))] Gary is green.[(((triple8 triple10) -> rule7) OR ((triple8 ((triple8 ((triple11 triple9) -> rule1)) -> rule5)) -> rule7))] Gary is rough.[(((triple11 triple9) -> rule1) OR ((((triple8 triple10) -> rule7) triple11) -> rule2) OR ((((((triple8 triple10) -> rule7) triple9) -> rule4) triple9) -> rule1) OR ((((triple8 triple10) -> rule7) ((((triple8 triple10) -> rule7) triple9) -> rule4)) -> rule2))] Harry is blue.[(((triple13) -> rule3))] Harry is white.[(((triple13 triple14) -> rule4))] @2: Anne is young.[(((((triple1 triple4) -> rule2)) -> rule8) OR ((((triple4 triple2) -> rule1)) -> rule8) OR ((((triple1 ((triple1 triple2) -> rule4)) -> rule2)) -> rule8) OR ((((((triple1 triple2) -> rule4) triple2) -> rule1)) -> rule8))] Bob is round.[(((((triple6) -> rule6) triple6) -> rule5))] Harry is round.[(((((triple13) -> rule3) triple15) -> rule5) OR ((((triple13) -> rule3) ((triple13 ((triple13 triple14) -> rule4)) -> rule2)) -> rule5) OR ((((triple13) -> rule3) ((((triple13 triple14) -> rule4) triple14) -> rule1)) -> rule5))] @3: Bob is green.[(((((triple6) -> rule6) ((((triple6) -> rule6) triple6) -> rule5)) -> rule7))] @4: Bob is white.[(((((((triple6) -> rule6) ((((triple6) -> rule6) triple6) -> rule5)) -> rule7) triple5) -> rule4))]