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