Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. All smart, rough things are kind. Nice things are green. If something is kind then it is furry. If Fiona is cold then Fiona is rough. Cold things are nice. All nice, kind things are cold. If Charlie is furry and Charlie is nice then Charlie is green. All smart things are nice.
Charlie is furry.
@0: Anne is cold.[(triple1 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple7 triple6) -> rule1)) -> rule6) OR ((((triple7) -> rule8) triple4) -> rule6) OR ((((triple7) -> rule8) ((triple7 triple6) -> rule1)) -> rule6))] Anne is furry.[(triple2 OR ((triple4) -> rule3) OR ((((triple7 triple6) -> rule1)) -> rule3))] Anne is green.[(triple3 OR ((triple5) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((triple7) -> rule8)) -> rule2))] Anne is kind.[(triple4 OR ((triple7 triple6) -> rule1))] Anne is nice.[(triple5 OR ((triple1) -> rule5) OR ((triple7) -> rule8))] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple11) -> rule2) OR ((triple9 triple11) -> rule7) OR ((((triple8) -> rule5)) -> rule2) OR ((triple9 ((triple8) -> rule5)) -> rule7))] Charlie is nice.[(triple11 OR ((triple8) -> rule5))] Charlie is rough.[(triple12)] Fiona is furry.[(triple13 OR ((triple15) -> rule3))] Fiona is green.[(triple14 OR ((((triple16) -> rule8)) -> rule2))] Fiona is kind.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is nice.[(((triple16) -> rule8))] @2: Fiona is cold.[(((((triple16) -> rule8) triple15) -> rule6))] @3: Fiona is rough.[(((((((triple16) -> rule8) triple15) -> rule6)) -> rule4))]