Bob is kind. Bob is not round. Bob is not smart. Dave is kind. Dave is young. Fiona is kind. Fiona is nice. Fiona is round. Gary is kind. Gary is young. Smart, round things are furry. If something is kind then it is not furry. If Bob is young then Bob is kind. If something is quiet then it is nice. Furry things are nice. If Gary is not furry then Gary is quiet.
Gary is not round.
@0: Bob is kind.[(triple1)] Bob is not round.[(triple2)] Bob is not smart.[(triple3)] Dave is kind.[(triple4)] Dave is young.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is round.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Bob is not furry.[(((triple1) -> rule2))] Dave is not furry.[(((triple4) -> rule2))] Fiona is not furry.[(((triple6) -> rule2))] Gary is not furry.[(((triple9) -> rule2))] @2: Gary is quiet.[(((((triple9) -> rule2)) -> rule6))] @3: Gary is nice.[(((((((triple9) -> rule2)) -> rule6)) -> rule4))]