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