Anne is cold. Anne is kind. Anne is red. Fiona is quiet. Fiona is red. Fiona is white. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is white. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is white. All rough things are nice. If something is nice then it is cold. If something is white then it is rough. Quiet things are white. White, kind things are nice. All nice things are cold.
Gary is red.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is white.[(triple6 OR ((triple4) -> rule4))] Gary is cold.[(triple7 OR ((((triple11 triple8) -> rule5)) -> rule2) OR ((((triple11 triple8) -> rule5)) -> rule6) OR ((((((triple11) -> rule3)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule1)) -> rule6) OR ((((((triple9) -> rule4) triple8) -> rule5)) -> rule2) OR ((((((triple9) -> rule4) triple8) -> rule5)) -> rule6) OR ((((((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule6))] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is white.[(triple11 OR ((triple9) -> rule4))] Harry is cold.[(triple12 OR ((triple13) -> rule2) OR ((triple13) -> rule6) OR ((((((triple16) -> rule3)) -> rule1)) -> rule2) OR ((((((triple16) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple14) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple14) -> rule4)) -> rule3)) -> rule1)) -> rule6))] Harry is nice.[(triple13 OR ((((triple16) -> rule3)) -> rule1) OR ((((((triple14) -> rule4)) -> rule3)) -> rule1))] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16 OR ((triple14) -> rule4))] @1: Fiona is rough.[(((triple6) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Gary is nice.[(((triple11 triple8) -> rule5) OR ((((triple11) -> rule3)) -> rule1) OR ((((triple9) -> rule4) triple8) -> rule5) OR ((((((triple9) -> rule4)) -> rule3)) -> rule1))] Gary is rough.[(((triple11) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] Harry is rough.[(((triple16) -> rule3) OR ((((triple14) -> rule4)) -> rule3))] @2: Fiona is nice.[(((((triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule4)) -> rule3)) -> rule1))] @3: Fiona is cold.[(((((((triple6) -> rule3)) -> rule1)) -> rule2) OR ((((((triple6) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule6))]