Charlie is furry. Charlie is nice. Charlie is smart. Dave is not nice. Dave is quiet. Fiona is furry. Fiona is not nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not smart. Fiona is not white. If Dave is red and Dave is quiet then Dave is nice. If Dave is white and Dave is smart then Dave is not red. If Charlie is rough and Charlie is not smart then Charlie is furry. All smart things are white. If Dave is furry and Dave is white then Dave is quiet. If something is rough then it is furry. If something is quiet and furry then it is red. White things are rough.
Charlie is not furry.
@0: Charlie is furry.[(triple1 OR ((((((triple3) -> rule4)) -> rule8)) -> rule6))] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Dave is not nice.[(triple4)] Dave is quiet.[(triple5)] Fiona is furry.[(triple6 OR ((triple10) -> rule6))] Fiona is not nice.[(triple7)] Fiona is not smart.[(triple11)] Fiona is not white.[(triple12)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9 OR ((triple8 triple6) -> rule7) OR ((triple8 ((triple10) -> rule6)) -> rule7))] Fiona is rough.[(triple10)] @1: Charlie is white.[(((triple3) -> rule4))] @2: Charlie is rough.[(((((triple3) -> rule4)) -> rule8))]