Charlie is furry. Charlie is green. Charlie is quiet. Erin is green. Erin is kind. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Harry is quiet. All green things are rough. All nice things are white. All green things are kind. If something is rough then it is not nice. If Charlie is furry and Charlie is green then Charlie is quiet. If something is quiet and not green then it is furry. If something is green and not nice then it is furry. If Harry is rough and Harry is not furry then Harry is white.
Erin is green.
@0: Charlie is furry.[(triple1 OR ((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule7))] Charlie is green.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1 triple2) -> rule5) OR ((((triple2 ((((triple2) -> rule1)) -> rule4)) -> rule7) triple2) -> rule5))] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule3))] Fiona is furry.[(triple6 OR ((triple7 ((triple9) -> rule4)) -> rule7) OR ((triple7 ((((triple7) -> rule1)) -> rule4)) -> rule7))] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule3))] Fiona is rough.[(triple9 OR ((triple7) -> rule1))] Harry is quiet.[(triple10)] @1: Charlie is kind.[(((triple2) -> rule3))] Charlie is rough.[(((triple2) -> rule1))] Erin is rough.[(((triple4) -> rule1))] Fiona is not nice.[(((triple9) -> rule4) OR ((((triple7) -> rule1)) -> rule4))] @2: Charlie is not nice.[(((((triple2) -> rule1)) -> rule4))] Erin is not nice.[(((((triple4) -> rule1)) -> rule4))] @3: Erin is furry.[(((triple4 ((((triple4) -> rule1)) -> rule4)) -> rule7))]