Bob is nice. Bob is quiet. Bob is smart. All young, smart people are not rough. All kind people are young. If Bob is smart and Bob is quiet then Bob is kind. If Bob is nice and Bob is not smart then Bob is kind. All rough people are kind. All smart people are quiet.
Bob is smart.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule6))] Bob is smart.[(triple3)] @1: Bob is kind.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule6)) -> rule3))] @2: Bob is young.[(((((triple3 triple2) -> rule3)) -> rule2) OR ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2))] @3: Bob is not rough.[(((((((triple3 triple2) -> rule3)) -> rule2) triple3) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule2) triple3) -> rule1))]