Anne is white. Anne is young. Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. If Anne is young then Anne is nice. Nice people are big. If someone is big then they are quiet. Quiet, round people are cold. If someone is white then they are young. Big, young people are round. If someone is young and cold then they are big. If someone is nice then they are quiet.
Anne is not big.
@0: Anne is white.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule5))] Gary is big.[(triple3 OR ((triple5) -> rule2) OR ((triple9 triple4) -> rule7) OR ((triple9 ((triple6 triple7) -> rule4)) -> rule7) OR ((((triple8) -> rule5) triple4) -> rule7) OR ((((triple8) -> rule5) ((triple6 triple7) -> rule4)) -> rule7) OR ((triple9 ((((triple5) -> rule8) triple7) -> rule4)) -> rule7) OR ((((triple8) -> rule5) ((((triple5) -> rule8) triple7) -> rule4)) -> rule7))] Gary is cold.[(triple4 OR ((triple6 triple7) -> rule4) OR ((triple6 ((triple3 triple9) -> rule6)) -> rule4) OR ((((triple3) -> rule3) triple7) -> rule4) OR ((((triple5) -> rule8) triple7) -> rule4) OR ((((triple3) -> rule3) ((triple3 triple9) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((triple3 triple9) -> rule6)) -> rule4) OR ((triple6 ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((triple6 ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) triple7) -> rule4) OR ((triple6 ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple3 triple9) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4))] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((triple3) -> rule3) OR ((triple5) -> rule8) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple9 triple4) -> rule7)) -> rule3) OR ((((((triple8) -> rule5) triple4) -> rule7)) -> rule3))] Gary is round.[(triple7 OR ((triple3 triple9) -> rule6) OR ((triple3 ((triple8) -> rule5)) -> rule6) OR ((((triple5) -> rule2) triple9) -> rule6) OR ((((triple9 triple4) -> rule7) triple9) -> rule6) OR ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6) OR ((((triple9 triple4) -> rule7) ((triple8) -> rule5)) -> rule6) OR ((((((triple8) -> rule5) triple4) -> rule7) triple9) -> rule6) OR ((((((triple8) -> rule5) triple4) -> rule7) ((triple8) -> rule5)) -> rule6))] Gary is white.[(triple8)] Gary is young.[(triple9 OR ((triple8) -> rule5))] Harry is big.[(triple10 OR ((triple12) -> rule2) OR ((triple16 triple11) -> rule7) OR ((triple16 ((triple13 triple14) -> rule4)) -> rule7) OR ((((triple15) -> rule5) triple11) -> rule7) OR ((((triple15) -> rule5) ((triple13 triple14) -> rule4)) -> rule7) OR ((triple16 ((((triple12) -> rule8) triple14) -> rule4)) -> rule7) OR ((((triple15) -> rule5) ((((triple12) -> rule8) triple14) -> rule4)) -> rule7))] Harry is cold.[(triple11 OR ((triple13 triple14) -> rule4) OR ((triple13 ((triple10 triple16) -> rule6)) -> rule4) OR ((((triple10) -> rule3) triple14) -> rule4) OR ((((triple12) -> rule8) triple14) -> rule4) OR ((((triple10) -> rule3) ((triple10 triple16) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((triple10 triple16) -> rule6)) -> rule4) OR ((triple13 ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((triple13 ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) triple14) -> rule4) OR ((triple13 ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple10) -> rule3) ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple10) -> rule3) ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((triple10 triple16) -> rule6)) -> rule4) OR ((((triple10) -> rule3) ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4))] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple10) -> rule3) OR ((triple12) -> rule8) OR ((((triple12) -> rule2)) -> rule3) OR ((((triple16 triple11) -> rule7)) -> rule3) OR ((((((triple15) -> rule5) triple11) -> rule7)) -> rule3))] Harry is round.[(triple14 OR ((triple10 triple16) -> rule6) OR ((triple10 ((triple15) -> rule5)) -> rule6) OR ((((triple12) -> rule2) triple16) -> rule6) OR ((((triple16 triple11) -> rule7) triple16) -> rule6) OR ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6) OR ((((triple16 triple11) -> rule7) ((triple15) -> rule5)) -> rule6) OR ((((((triple15) -> rule5) triple11) -> rule7) triple16) -> rule6) OR ((((((triple15) -> rule5) triple11) -> rule7) ((triple15) -> rule5)) -> rule6))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule5))] @1: Anne is nice.[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] @2: Anne is big.[(((((triple2) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2))] Anne is quiet.[(((((triple2) -> rule1)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3))] @3: Anne is round.[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6))] @4: Anne is cold.[(((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4))]