Dave is nice. Dave is quiet. Dave is young. Erin is white. Gary is furry. Gary is nice. Gary is smart. Gary is white. Harry is furry. Harry is quiet. Quiet things are smart. If something is smart then it is nice. Smart things are quiet. If something is furry and young then it is white. All smart things are nice. If something is smart and young then it is kind. If something is kind then it is nice. Furry, kind things are young.
Erin is not kind.
@0: Dave is nice.[(triple1 OR ((((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule6)) -> rule7))] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Erin is white.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule5))] Gary is smart.[(triple7)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] @1: Dave is smart.[(((triple2) -> rule1))] Gary is quiet.[(((triple7) -> rule3))] Harry is smart.[(((triple10) -> rule1))] @2: Dave is kind.[(((((triple2) -> rule1) triple3) -> rule6))] Harry is nice.[(((((triple10) -> rule1)) -> rule2) OR ((((triple10) -> rule1)) -> rule5))]