The cow is big. The cow is cold. The cow is green. The cow is nice. The cow is rough. All cold things are rough. If the cow is rough then the cow is big. If the cow is big and the cow is rough then the cow is green. Green things are rough. If the cow is big and the cow is nice then the cow is rough. All rough, big things are cold. If the cow is green then the cow is big. Nice things are cold.
The cow is not cold.
@0: The cow is big.[(triple1 OR ((triple3) -> rule7) OR ((triple5) -> rule2) OR ((((triple2) -> rule1)) -> rule2) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple4) -> rule8)) -> rule1)) -> rule2))] The cow is cold.[(triple2 OR ((triple4) -> rule8) OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple3) -> rule7)) -> rule6) OR ((triple5 ((triple5) -> rule2)) -> rule6) OR ((((triple3) -> rule4) triple1) -> rule6) OR ((((triple1 triple4) -> rule5) triple1) -> rule6) OR ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule6) OR ((((triple3) -> rule4) ((triple5) -> rule2)) -> rule6) OR ((((triple1 triple4) -> rule5) ((triple3) -> rule7)) -> rule6) OR ((((triple1 triple4) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((triple5 ((((triple3) -> rule4)) -> rule2)) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule5) triple1) -> rule6) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule6) OR ((((triple1 triple4) -> rule5) ((((triple3) -> rule4)) -> rule2)) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule5) ((triple3) -> rule7)) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((triple3) -> rule7) triple4) -> rule5) ((((triple3) -> rule4)) -> rule2)) -> rule6))] The cow is green.[(triple3 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple2) -> rule1)) -> rule3) OR ((triple1 ((triple1 triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((triple5) -> rule2) ((triple1 triple4) -> rule5)) -> rule3) OR ((triple1 ((((triple4) -> rule8)) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) triple5) -> rule3) OR ((((triple5) -> rule2) ((((triple4) -> rule8)) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) ((triple1 triple4) -> rule5)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) ((((triple4) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule2) triple5) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule2) ((triple1 triple4) -> rule5)) -> rule3) OR ((((((((triple4) -> rule8)) -> rule1)) -> rule2) ((((triple4) -> rule8)) -> rule1)) -> rule3))] The cow is nice.[(triple4)] The cow is rough.[(triple5 OR ((triple2) -> rule1) OR ((triple3) -> rule4) OR ((triple1 triple4) -> rule5) OR ((((triple4) -> rule8)) -> rule1) OR ((((triple3) -> rule7) triple4) -> rule5))]