Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Nice people are green. All cold, green people are red. All quiet, smart people are nice. If Bob is green and Bob is big then Bob is smart. If Bob is nice and Bob is green then Bob is big. If someone is quiet and cold then they are red.
Bob is quiet.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule1)) -> rule5) OR ((((triple5 triple7) -> rule3) triple3) -> rule5) OR ((((triple5 triple7) -> rule3) ((triple4) -> rule1)) -> rule5) OR ((triple4 ((((triple5 triple7) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 triple7) -> rule3) ((((triple5 triple7) -> rule3)) -> rule1)) -> rule5))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule1))] Bob is nice.[(triple4 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple3 triple1) -> rule4)) -> rule3))] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple5 triple2) -> rule6) OR ((triple2 ((triple4) -> rule1)) -> rule2) OR ((triple2 ((((triple5 triple7) -> rule3)) -> rule1)) -> rule2))] Bob is smart.[(triple7 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple4 triple3) -> rule5)) -> rule4) OR ((((triple4) -> rule1) triple1) -> rule4) OR ((((triple4) -> rule1) ((triple4 triple3) -> rule5)) -> rule4) OR ((triple3 ((triple4 ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule5)) -> rule4))]