Anne is blue. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is young. Dave is blue. Dave is smart. Gary is blue. Gary is cold. Gary is nice. If Anne is smart and Anne is kind then Anne is cold. All smart, blue things are kind. All young, cold things are kind. If something is nice and young then it is cold. If something is cold then it is quiet. If something is kind then it is nice. If something is nice and blue then it is young. If something is quiet and cold then it is smart.
Anne is not cold.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((((triple4 triple1) -> rule2)) -> rule6))] Anne is quiet.[(triple3 OR ((((triple2 triple5) -> rule4)) -> rule5) OR ((((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule5) OR ((((triple4 ((triple4 triple1) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple4 triple1) -> rule2)) -> rule6) triple5) -> rule4)) -> rule5) OR ((((((((triple4 triple1) -> rule2)) -> rule6) ((triple2 triple1) -> rule7)) -> rule4)) -> rule5) OR ((((triple2 ((((((triple4 triple1) -> rule2)) -> rule6) triple1) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4 triple1) -> rule2)) -> rule6) ((((((triple4 triple1) -> rule2)) -> rule6) triple1) -> rule7)) -> rule4)) -> rule5))] Anne is smart.[(triple4 OR ((triple3 ((triple2 triple5) -> rule4)) -> rule8) OR ((triple3 ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2 triple5) -> rule4)) -> rule5) ((triple2 triple5) -> rule4)) -> rule8) OR ((((((triple2 triple5) -> rule4)) -> rule5) ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule5) ((triple2 triple5) -> rule4)) -> rule8) OR ((((((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule5) ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule8))] Anne is young.[(triple5 OR ((triple2 triple1) -> rule7) OR ((((((triple4 triple1) -> rule2)) -> rule6) triple1) -> rule7))] Charlie is blue.[(triple6)] Charlie is cold.[(triple7 OR ((triple8 triple11) -> rule4) OR ((triple8 ((triple8 triple6) -> rule7)) -> rule4) OR ((((((triple10 triple6) -> rule2)) -> rule6) triple11) -> rule4) OR ((((((triple10 triple6) -> rule2)) -> rule6) ((triple8 triple6) -> rule7)) -> rule4) OR ((triple8 ((((((triple10 triple6) -> rule2)) -> rule6) triple6) -> rule7)) -> rule4) OR ((((((triple10 triple6) -> rule2)) -> rule6) ((((((triple10 triple6) -> rule2)) -> rule6) triple6) -> rule7)) -> rule4))] Charlie is nice.[(triple8 OR ((((triple10 triple6) -> rule2)) -> rule6) OR ((((triple11 triple7) -> rule3)) -> rule6) OR ((((((triple9 triple7) -> rule8) triple6) -> rule2)) -> rule6) OR ((((((((triple7) -> rule5) triple7) -> rule8) triple6) -> rule2)) -> rule6))] Charlie is quiet.[(triple9 OR ((triple7) -> rule5) OR ((((triple8 triple11) -> rule4)) -> rule5) OR ((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple10 triple6) -> rule2)) -> rule6) triple11) -> rule4)) -> rule5) OR ((((((((triple10 triple6) -> rule2)) -> rule6) ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple8 ((((((triple10 triple6) -> rule2)) -> rule6) triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple10 triple6) -> rule2)) -> rule6) ((((((triple10 triple6) -> rule2)) -> rule6) triple6) -> rule7)) -> rule4)) -> rule5))] Charlie is smart.[(triple10 OR ((triple9 triple7) -> rule8) OR ((triple9 ((triple8 triple11) -> rule4)) -> rule8) OR ((((triple7) -> rule5) triple7) -> rule8) OR ((((triple7) -> rule5) ((triple8 triple11) -> rule4)) -> rule8) OR ((triple9 ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8 triple11) -> rule4)) -> rule5) triple7) -> rule8) OR ((((triple7) -> rule5) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8 triple11) -> rule4)) -> rule5) ((triple8 triple11) -> rule4)) -> rule8) OR ((((((triple8 triple11) -> rule4)) -> rule5) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) triple7) -> rule8) OR ((((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) ((triple8 triple11) -> rule4)) -> rule8) OR ((((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8))] Charlie is young.[(triple11 OR ((triple8 triple6) -> rule7) OR ((((((triple10 triple6) -> rule2)) -> rule6) triple6) -> rule7) OR ((((((((triple9 triple7) -> rule8) triple6) -> rule2)) -> rule6) triple6) -> rule7) OR ((((((((((triple7) -> rule5) triple7) -> rule8) triple6) -> rule2)) -> rule6) triple6) -> rule7))] Dave is blue.[(triple12)] Dave is smart.[(triple13)] Gary is blue.[(triple14)] Gary is cold.[(triple15 OR ((triple16 ((triple16 triple14) -> rule7)) -> rule4))] Gary is nice.[(triple16 OR ((((((((triple15) -> rule5) triple15) -> rule8) triple14) -> rule2)) -> rule6))] @1: Anne is cold.[(((triple2 triple5) -> rule4) OR ((triple2 ((triple2 triple1) -> rule7)) -> rule4) OR ((triple4 ((triple4 triple1) -> rule2)) -> rule1) OR ((((((triple4 triple1) -> rule2)) -> rule6) triple5) -> rule4) OR ((((((triple4 triple1) -> rule2)) -> rule6) ((triple2 triple1) -> rule7)) -> rule4) OR ((triple2 ((((((triple4 triple1) -> rule2)) -> rule6) triple1) -> rule7)) -> rule4) OR ((((((triple4 triple1) -> rule2)) -> rule6) ((((((triple4 triple1) -> rule2)) -> rule6) triple1) -> rule7)) -> rule4))] Anne is kind.[(((triple4 triple1) -> rule2) OR ((triple5 ((triple2 triple5) -> rule4)) -> rule3) OR ((((triple2 triple1) -> rule7) ((triple2 triple5) -> rule4)) -> rule3) OR ((triple5 ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple5) -> rule4)) -> rule8) triple1) -> rule2) OR ((((triple2 triple1) -> rule7) ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule8) triple1) -> rule2) OR ((((((((triple2 triple5) -> rule4)) -> rule5) ((triple2 triple5) -> rule4)) -> rule8) triple1) -> rule2) OR ((((((((triple2 triple5) -> rule4)) -> rule5) ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule8) triple1) -> rule2) OR ((((((((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule5) ((triple2 triple5) -> rule4)) -> rule8) triple1) -> rule2) OR ((((((((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule5) ((triple2 ((triple2 triple1) -> rule7)) -> rule4)) -> rule8) triple1) -> rule2))] Charlie is kind.[(((triple10 triple6) -> rule2) OR ((triple11 triple7) -> rule3) OR ((triple11 ((triple8 triple11) -> rule4)) -> rule3) OR ((((triple8 triple6) -> rule7) triple7) -> rule3) OR ((((triple9 triple7) -> rule8) triple6) -> rule2) OR ((((triple8 triple6) -> rule7) ((triple8 triple11) -> rule4)) -> rule3) OR ((triple11 ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule3) OR ((((triple9 ((triple8 triple11) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((triple7) -> rule5) triple7) -> rule8) triple6) -> rule2) OR ((((triple8 triple6) -> rule7) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule5) ((triple8 triple11) -> rule4)) -> rule8) triple6) -> rule2) OR ((((triple9 ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((((triple8 triple11) -> rule4)) -> rule5) triple7) -> rule8) triple6) -> rule2) OR ((((((triple7) -> rule5) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((((triple8 triple11) -> rule4)) -> rule5) ((triple8 triple11) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((((triple8 triple11) -> rule4)) -> rule5) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) triple7) -> rule8) triple6) -> rule2) OR ((((((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) ((triple8 triple11) -> rule4)) -> rule8) triple6) -> rule2) OR ((((((((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule5) ((triple8 ((triple8 triple6) -> rule7)) -> rule4)) -> rule8) triple6) -> rule2))] Dave is kind.[(((triple13 triple12) -> rule2))] Gary is quiet.[(((triple15) -> rule5) OR ((((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule5))] Gary is young.[(((triple16 triple14) -> rule7) OR ((((((((((triple15) -> rule5) triple15) -> rule8) triple14) -> rule2)) -> rule6) triple14) -> rule7))] @2: Dave is nice.[(((((triple13 triple12) -> rule2)) -> rule6))] Gary is kind.[(((((triple16 triple14) -> rule7) triple15) -> rule3) OR ((((((triple15) -> rule5) triple15) -> rule8) triple14) -> rule2) OR ((((triple16 triple14) -> rule7) ((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule3) OR ((((((triple15) -> rule5) ((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule8) triple14) -> rule2) OR ((((((((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule5) triple15) -> rule8) triple14) -> rule2) OR ((((((((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule5) ((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule8) triple14) -> rule2))] Gary is smart.[(((((triple15) -> rule5) triple15) -> rule8) OR ((((triple15) -> rule5) ((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule8) OR ((((((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule5) triple15) -> rule8) OR ((((((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule5) ((triple16 ((triple16 triple14) -> rule7)) -> rule4)) -> rule8))] @3: Dave is young.[(((((((triple13 triple12) -> rule2)) -> rule6) triple12) -> rule7))] @4: Dave is cold.[(((((((triple13 triple12) -> rule2)) -> rule6) ((((((triple13 triple12) -> rule2)) -> rule6) triple12) -> rule7)) -> rule4))] @5: Dave is quiet.[(((((((((triple13 triple12) -> rule2)) -> rule6) ((((((triple13 triple12) -> rule2)) -> rule6) triple12) -> rule7)) -> rule4)) -> rule5))]