Charlie is kind. Charlie is rough. Charlie is smart. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. All furry things are green. If something is cold then it is kind. If something is furry and cold then it is green. Rough things are kind. If something is green and kind then it is round. All rough things are furry.
Fiona is not furry.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule4))] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Fiona is green.[(triple4 OR ((((triple6) -> rule6)) -> rule1))] Fiona is kind.[(triple5 OR ((triple6) -> rule4))] Fiona is rough.[(triple6)] Fiona is round.[(triple7 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple6) -> rule4)) -> rule5) OR ((((((triple6) -> rule6)) -> rule1) triple5) -> rule5) OR ((((((triple6) -> rule6)) -> rule1) ((triple6) -> rule4)) -> rule5))] @1: Charlie is furry.[(((triple2) -> rule6))] Fiona is furry.[(((triple6) -> rule6))] @2: Charlie is green.[(((((triple2) -> rule6)) -> rule1))] @3: Charlie is round.[(((((((triple2) -> rule6)) -> rule1) triple1) -> rule5) OR ((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule4)) -> rule5))]