Anne is blue. Anne is cold. Anne is rough. Anne is smart. Anne is white. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is smart. Fiona is blue. Fiona is round. Gary is blue. Gary is rough. Gary is white. If something is white then it is round. All blue things are kind. If something is cold and round then it is blue. If Gary is kind and Gary is white then Gary is rough. All blue, smart things are white. If Anne is round and Anne is cold then Anne is blue.
Anne is kind.
@0: Anne is blue.[(triple1 OR ((triple2 ((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule1) triple2) -> rule6))] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple4) -> rule5))] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8 OR ((triple6) -> rule2))] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Fiona is blue.[(triple11)] Fiona is round.[(triple12)] Gary is blue.[(triple13)] Gary is rough.[(triple14 OR ((((triple13) -> rule2) triple15) -> rule4))] Gary is white.[(triple15)] @1: Anne is kind.[(((triple1) -> rule2) OR ((((triple2 ((triple5) -> rule1)) -> rule3)) -> rule2) OR ((((((triple5) -> rule1) triple2) -> rule6)) -> rule2))] Anne is round.[(((triple5) -> rule1) OR ((((triple1 triple4) -> rule5)) -> rule1))] Erin is white.[(((triple6 triple10) -> rule5))] Fiona is kind.[(((triple11) -> rule2))] Gary is kind.[(((triple13) -> rule2))] Gary is round.[(((triple15) -> rule1))] @2: Erin is round.[(((((triple6 triple10) -> rule5)) -> rule1))]