Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is young. All blue, green people are young. All rough, blue people are round. If Bob is green then Bob is big. If Bob is quiet and Bob is green then Bob is rough. If Bob is round then Bob is young. If Bob is big then Bob is round. If someone is blue then they are young. If Bob is young and Bob is big then Bob is green.
Bob is not blue.
@0: Bob is big.[(triple1 OR ((triple3) -> rule3))] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple7 triple1) -> rule8) OR ((((triple2) -> rule7) triple1) -> rule8) OR ((((triple6) -> rule5) triple1) -> rule8) OR ((((((triple1) -> rule6)) -> rule5) triple1) -> rule8) OR ((((((triple5 triple2) -> rule2)) -> rule5) triple1) -> rule8))] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple7 triple1) -> rule8)) -> rule4) OR ((triple4 ((((triple2) -> rule7) triple1) -> rule8)) -> rule4) OR ((triple4 ((((triple6) -> rule5) triple1) -> rule8)) -> rule4) OR ((triple4 ((((((triple1) -> rule6)) -> rule5) triple1) -> rule8)) -> rule4))] Bob is round.[(triple6 OR ((triple1) -> rule6) OR ((triple5 triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple4 triple3) -> rule4) triple2) -> rule2) OR ((((triple4 ((triple7 triple1) -> rule8)) -> rule4) triple2) -> rule2) OR ((((triple4 ((((triple2) -> rule7) triple1) -> rule8)) -> rule4) triple2) -> rule2))] Bob is young.[(triple7 OR ((triple2) -> rule7) OR ((triple6) -> rule5) OR ((triple2 triple3) -> rule1) OR ((((triple1) -> rule6)) -> rule5) OR ((((triple5 triple2) -> rule2)) -> rule5) OR ((((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple4 triple3) -> rule4) triple2) -> rule2)) -> rule5))]