Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Bob is smart. If Bob is green and Bob is rough then Bob is kind. If Bob is round then Bob is rough. If something is round then it is green. If Bob is smart and Bob is blue then Bob is quiet. If Bob is quiet then Bob is green. Blue things are green. All quiet things are kind. If Bob is smart then Bob is kind.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule6) OR ((triple4) -> rule5) OR ((triple6) -> rule3) OR ((((triple7 triple1) -> rule4)) -> rule5))] Bob is kind.[(triple3 OR ((triple4) -> rule7) OR ((triple7) -> rule8) OR ((triple2 triple5) -> rule1) OR ((((triple7 triple1) -> rule4)) -> rule7) OR ((triple2 ((triple6) -> rule2)) -> rule1) OR ((((triple1) -> rule6) triple5) -> rule1) OR ((((triple4) -> rule5) triple5) -> rule1) OR ((((triple6) -> rule3) triple5) -> rule1) OR ((((triple1) -> rule6) ((triple6) -> rule2)) -> rule1) OR ((((triple4) -> rule5) ((triple6) -> rule2)) -> rule1) OR ((((triple6) -> rule3) ((triple6) -> rule2)) -> rule1) OR ((((((triple7 triple1) -> rule4)) -> rule5) triple5) -> rule1) OR ((((((triple7 triple1) -> rule4)) -> rule5) ((triple6) -> rule2)) -> rule1))] Bob is quiet.[(triple4 OR ((triple7 triple1) -> rule4))] Bob is rough.[(triple5 OR ((triple6) -> rule2))] Bob is round.[(triple6)] Bob is smart.[(triple7)]