Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is round. All round, big things are nice. All cold, big things are round. If Bob is kind then Bob is cold. Round things are green. If something is round then it is green. If something is cold and green then it is nice.
Bob is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4) -> rule3))] Bob is green.[(triple3 OR ((triple7) -> rule4) OR ((triple7) -> rule5) OR ((((triple2 triple1) -> rule2)) -> rule4) OR ((((triple2 triple1) -> rule2)) -> rule5) OR ((((((triple4) -> rule3) triple1) -> rule2)) -> rule4) OR ((((((triple4) -> rule3) triple1) -> rule2)) -> rule5))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple2 triple3) -> rule6) OR ((triple7 triple1) -> rule1) OR ((triple2 ((triple7) -> rule4)) -> rule6) OR ((triple2 ((triple7) -> rule5)) -> rule6) OR ((((triple4) -> rule3) triple3) -> rule6) OR ((((triple2 triple1) -> rule2) triple1) -> rule1) OR ((((triple4) -> rule3) ((triple7) -> rule4)) -> rule6) OR ((((triple4) -> rule3) ((triple7) -> rule5)) -> rule6) OR ((triple2 ((((triple2 triple1) -> rule2)) -> rule4)) -> rule6) OR ((triple2 ((((triple2 triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4) -> rule3) triple1) -> rule2) triple1) -> rule1) OR ((((triple4) -> rule3) ((((triple2 triple1) -> rule2)) -> rule4)) -> rule6) OR ((((triple4) -> rule3) ((((triple2 triple1) -> rule2)) -> rule5)) -> rule6) OR ((triple2 ((((((triple4) -> rule3) triple1) -> rule2)) -> rule4)) -> rule6) OR ((triple2 ((((((triple4) -> rule3) triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple4) -> rule3) ((((((triple4) -> rule3) triple1) -> rule2)) -> rule4)) -> rule6) OR ((((triple4) -> rule3) ((((((triple4) -> rule3) triple1) -> rule2)) -> rule5)) -> rule6))] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple2 triple1) -> rule2) OR ((((triple4) -> rule3) triple1) -> rule2))]