Dave is big. Dave is furry. Dave is quiet. Dave is rough. Erin is big. Erin is furry. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. If someone is furry then they are nice. Nice people are furry. Smart people are nice. If Dave is rough and Dave is nice then Dave is red. If Erin is red then Erin is quiet. Red people are furry. If someone is big and red then they are smart. All nice people are furry.
Dave is not red.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6 OR ((triple7) -> rule2) OR ((triple7) -> rule8) OR ((triple9) -> rule6) OR ((((triple11) -> rule3)) -> rule2) OR ((((triple11) -> rule3)) -> rule8) OR ((((((triple5 triple9) -> rule7)) -> rule3)) -> rule2) OR ((((((triple5 triple9) -> rule7)) -> rule3)) -> rule8))] Erin is nice.[(triple7 OR ((triple11) -> rule3) OR ((triple6) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple5 triple9) -> rule7)) -> rule3))] Erin is quiet.[(triple8 OR ((triple9) -> rule5))] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11 OR ((triple5 triple9) -> rule7))] Fiona is big.[(triple12)] Fiona is furry.[(triple13 OR ((((triple16) -> rule3)) -> rule2) OR ((((triple16) -> rule3)) -> rule8))] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Dave is nice.[(((triple2) -> rule1))] Fiona is nice.[(((triple13) -> rule1) OR ((triple16) -> rule3))] @2: Dave is red.[(((triple4 ((triple2) -> rule1)) -> rule4))] @3: Dave is smart.[(((triple1 ((triple4 ((triple2) -> rule1)) -> rule4)) -> rule7))]