Anne is cold. Anne is rough. Anne is smart. Anne is white. Dave is cold. Dave is rough. Dave is white. Erin is smart. Gary is smart. Gary is white. If Dave is smart then Dave is white. All smart things are kind. All white, kind things are nice. Young, kind things are rough. All kind things are white. All white things are kind. If something is kind and cold then it is smart. If something is nice and kind then it is young.
Gary is not cold.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2 OR ((((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((triple4 ((triple3) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple3) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((triple4 ((triple4) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple4) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((triple4 ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple4) -> rule6)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple3) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule8) ((triple4) -> rule6)) -> rule4))] Anne is smart.[(triple3 OR ((((triple4) -> rule6) triple1) -> rule7))] Anne is white.[(triple4 OR ((((triple3) -> rule2)) -> rule5))] Dave is cold.[(triple5)] Dave is rough.[(triple6 OR ((((((triple7 ((triple7) -> rule6)) -> rule3) ((triple7) -> rule6)) -> rule8) ((triple7) -> rule6)) -> rule4))] Dave is white.[(triple7)] Erin is smart.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((((triple9) -> rule2)) -> rule5))] @1: Anne is kind.[(((triple3) -> rule2) OR ((triple4) -> rule6))] Dave is kind.[(((triple7) -> rule6))] Erin is kind.[(((triple8) -> rule2))] Gary is kind.[(((triple10) -> rule6) OR ((triple9) -> rule2))] @2: Anne is nice.[(((triple4 ((triple3) -> rule2)) -> rule3) OR ((triple4 ((triple4) -> rule6)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3))] Dave is nice.[(((triple7 ((triple7) -> rule6)) -> rule3))] Dave is smart.[(((((triple7) -> rule6) triple5) -> rule7))] Erin is white.[(((((triple8) -> rule2)) -> rule5))] Gary is nice.[(((triple10 ((triple10) -> rule6)) -> rule3) OR ((triple10 ((triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) OR ((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3))] @3: Anne is young.[(((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule8) OR ((((triple4 ((triple4) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((triple4 ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3) ((triple4) -> rule6)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule5) ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule8))] Dave is young.[(((((triple7 ((triple7) -> rule6)) -> rule3) ((triple7) -> rule6)) -> rule8))] Erin is nice.[(((((((triple8) -> rule2)) -> rule5) ((triple8) -> rule2)) -> rule3))] Gary is young.[(((((triple10 ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule8) OR ((((triple10 ((triple10) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule8) OR ((((triple10 ((triple9) -> rule2)) -> rule3) ((triple10) -> rule6)) -> rule8) OR ((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule8) OR ((((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule8) OR ((((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule8) OR ((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3) ((triple10) -> rule6)) -> rule8) OR ((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule8))] @4: Erin is young.[(((((((((triple8) -> rule2)) -> rule5) ((triple8) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule8))] Gary is rough.[(((((((triple10 ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10 ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((triple10 ((triple10) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10 ((triple10) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((triple10 ((triple9) -> rule2)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10 ((triple9) -> rule2)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple10) -> rule6)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3) ((triple10) -> rule6)) -> rule8) ((triple9) -> rule2)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple10) -> rule6)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule8) ((triple9) -> rule2)) -> rule4))] @5: Erin is rough.[(((((((((((triple8) -> rule2)) -> rule5) ((triple8) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule8) ((triple8) -> rule2)) -> rule4))]