Dave is nice. Dave is quiet. Dave is red. Erin is green. Erin is quiet. Erin is red. Erin is smart. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. All red things are smart. Quiet things are green. If Erin is nice and Erin is furry then Erin is young. If Dave is nice then Dave is furry. If something is furry and green then it is quiet. All green, young things are red. Green things are nice. All green things are nice.
Erin is not green.
@0: Dave is nice.[(triple1 OR ((((triple2) -> rule2)) -> rule7) OR ((((triple2) -> rule2)) -> rule8))] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Erin is green.[(triple4 OR ((triple5) -> rule2))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7 OR ((triple6) -> rule1))] Gary is green.[(triple8 OR ((triple10) -> rule2))] Gary is nice.[(triple9 OR ((triple8) -> rule7) OR ((triple8) -> rule8) OR ((((triple10) -> rule2)) -> rule7) OR ((((triple10) -> rule2)) -> rule8))] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12 OR ((triple11) -> rule1))] @1: Dave is furry.[(((triple1) -> rule4) OR ((((((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((((triple2) -> rule2)) -> rule8)) -> rule4))] Dave is green.[(((triple2) -> rule2))] Dave is smart.[(((triple3) -> rule1))] Erin is nice.[(((triple4) -> rule7) OR ((triple4) -> rule8) OR ((((triple5) -> rule2)) -> rule7) OR ((((triple5) -> rule2)) -> rule8))]