Charlie is furry. Charlie is kind. Charlie is nice. Charlie is smart. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. All smart, kind things are nice. All nice, green things are furry. If something is kind and quiet then it is nice. If Fiona is quiet and Fiona is nice then Fiona is furry. All smart things are green. Kind things are nice.
Fiona is not green.
@0: Charlie is furry.[(triple1 OR ((triple3 ((triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((triple4) -> rule5)) -> rule2) OR ((((triple4 triple2) -> rule1) ((triple4) -> rule5)) -> rule2))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple2) -> rule6) OR ((triple4 triple2) -> rule1))] Charlie is smart.[(triple4)] Erin is furry.[(triple5 OR ((((triple7) -> rule6) triple6) -> rule2) OR ((((triple7 triple8) -> rule3) triple6) -> rule2))] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12 OR ((triple11) -> rule6))] @1: Charlie is green.[(((triple4) -> rule5))] Erin is nice.[(((triple7) -> rule6) OR ((triple7 triple8) -> rule3))]