Anne is blue. Anne is green. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is white. Dave is young. Gary is blue. Gary is cold. Gary is green. Gary is round. Round people are green. All green people are blue. Young people are cold. Round people are white. If Gary is cold then Gary is blue. If Gary is cold then Gary is young. If Anne is green and Anne is blue then Anne is young. All blue, rough people are young.
Gary is round.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Anne is green.[(triple2 OR ((triple4) -> rule1))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Dave is blue.[(triple5 OR ((triple7) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Dave is cold.[(triple6 OR ((triple11) -> rule3) OR ((((triple5 triple8) -> rule8)) -> rule3) OR ((((((triple7) -> rule2) triple8) -> rule8)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule2) triple8) -> rule8)) -> rule3))] Dave is green.[(triple7 OR ((triple9) -> rule1))] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple9) -> rule4))] Dave is young.[(triple11 OR ((triple5 triple8) -> rule8) OR ((((triple7) -> rule2) triple8) -> rule8) OR ((((((triple9) -> rule1)) -> rule2) triple8) -> rule8))] Gary is blue.[(triple12 OR ((triple13) -> rule5) OR ((triple14) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Gary is cold.[(triple13)] Gary is green.[(triple14 OR ((triple15) -> rule1))] Gary is round.[(triple15)] @1: Anne is white.[(((triple4) -> rule4))] Anne is young.[(((triple1 triple3) -> rule8) OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple2) -> rule2)) -> rule7) OR ((((triple2) -> rule2) triple3) -> rule8) OR ((((triple4) -> rule1) triple1) -> rule7) OR ((((triple4) -> rule1) ((triple2) -> rule2)) -> rule7) OR ((triple2 ((((triple4) -> rule1)) -> rule2)) -> rule7) OR ((((((triple4) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule2)) -> rule7))] Gary is white.[(((triple15) -> rule4))] Gary is young.[(((triple13) -> rule6))] @2: Anne is cold.[(((((triple1 triple3) -> rule8)) -> rule3) OR ((((triple2 triple1) -> rule7)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((triple2) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple4) -> rule1) triple1) -> rule7)) -> rule3) OR ((((((triple4) -> rule1) ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((triple2 ((((triple4) -> rule1)) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule2) triple3) -> rule8)) -> rule3) OR ((((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule2)) -> rule7)) -> rule3))]