Charlie is furry. Charlie is quiet. Charlie is smart. Charlie is young. Dave is furry. Dave is nice. Dave is red. Dave is rough. Dave is not young. Fiona is quiet. Fiona is not red. Fiona is rough. Harry is furry. Harry is nice. Harry is quiet. If Fiona is nice and Fiona is smart then Fiona is not young. Quiet people are furry. All quiet, rough people are smart. All young, quiet people are smart. If someone is young then they are red. Young, red people are rough.
Harry is not smart.
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule2))] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3 OR ((triple4 triple2) -> rule4) OR ((triple2 ((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3))] Charlie is young.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Dave is not young.[(triple9)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Fiona is not red.[(triple11)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple12)] Harry is furry.[(triple13 OR ((triple15) -> rule2))] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] @1: Charlie is red.[(((triple4) -> rule5))] Fiona is furry.[(((triple10) -> rule2))] Fiona is smart.[(((triple10 triple12) -> rule3))] @2: Charlie is rough.[(((triple4 ((triple4) -> rule5)) -> rule6))]