Anne is big. Anne is nice. Anne is smart. Dave is big. Dave is quiet. Dave is red. Dave is smart. Erin is nice. Erin is rough. Fiona is big. Fiona is quiet. Fiona is rough. All cold things are smart. If Erin is rough and Erin is nice then Erin is smart. If Dave is cold and Dave is big then Dave is rough. Big things are nice. If something is quiet then it is red. Nice things are red.
Dave is not red.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule4))] Anne is smart.[(triple3)] Dave is big.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((triple5) -> rule5) OR ((((triple4) -> rule4)) -> rule6))] Dave is smart.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9)] Fiona is big.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] @1: Anne is red.[(((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Dave is nice.[(((triple4) -> rule4))] Erin is red.[(((triple8) -> rule6))] Erin is smart.[(((triple9 triple8) -> rule2))] Fiona is nice.[(((triple10) -> rule4))] Fiona is red.[(((triple11) -> rule5) OR ((((triple10) -> rule4)) -> rule6))]