Bob is rough. All blue people are quiet. Rough people are kind. Nice people are kind. Nice people are white. All big people are blue. If Bob is kind then Bob is big. If Bob is quiet then Bob is big. If Bob is kind and Bob is rough then Bob is blue.
Bob is not quiet.
@0: Bob is rough.[(triple1)] @1: Bob is kind.[(((triple1) -> rule2))] @2: Bob is big.[(((((triple1) -> rule2)) -> rule6) OR ((((((((triple1) -> rule2) triple1) -> rule8)) -> rule1)) -> rule7))] Bob is blue.[(((((triple1) -> rule2) triple1) -> rule8) OR ((((((triple1) -> rule2)) -> rule6)) -> rule5))] @3: Bob is quiet.[(((((((triple1) -> rule2) triple1) -> rule8)) -> rule1) OR ((((((((triple1) -> rule2)) -> rule6)) -> rule5)) -> rule1))]