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