Bob is red. Bob is rough. Bob is young. Fiona is not kind. Gary is nice. Gary is quiet. Gary is rough. If Bob is rough and Bob is smart then Bob is quiet. If something is young and quiet then it is smart. If something is smart then it is young. Kind, young things are red. All red things are quiet. Kind, rough things are not quiet. If something is quiet and smart then it is not nice. If Fiona is not young then Fiona is not nice.
Bob is kind.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Fiona is not kind.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule5))] @2: Bob is smart.[(((triple3 ((triple1) -> rule5)) -> rule2))] @3: Bob is not nice.[(((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule2)) -> rule7))]