Dave is nice. Dave is rough. Dave is smart. Dave is not young. Fiona is nice. Fiona is young. Gary is not blue. Gary is nice. Gary is young. Harry is furry. Harry is not rough. Harry is not young. All young, kind people are furry. If someone is furry and not smart then they are nice. If someone is smart then they are nice. Rough people are kind. If someone is smart then they are kind. Nice people are rough.
Gary is not furry.
@0: Dave is nice.[(triple1 OR ((triple3) -> rule3))] Dave is not young.[(triple4)] Dave is rough.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] Dave is smart.[(triple3)] Fiona is nice.[(triple5)] Fiona is young.[(triple6)] Gary is nice.[(triple8)] Gary is not blue.[(triple7)] Gary is young.[(triple9)] Harry is furry.[(triple10)] Harry is not rough.[(triple11)] Harry is not young.[(triple12)] @1: Dave is kind.[(((triple2) -> rule4) OR ((triple3) -> rule5) OR ((((triple1) -> rule6)) -> rule4) OR ((((((triple3) -> rule3)) -> rule6)) -> rule4))] Fiona is rough.[(((triple5) -> rule6))] Gary is rough.[(((triple8) -> rule6))] @2: Fiona is kind.[(((((triple5) -> rule6)) -> rule4))] Gary is kind.[(((((triple8) -> rule6)) -> rule4))] @3: Fiona is furry.[(((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule1))] Gary is furry.[(((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule1))]