The cow is blue. The cow is not cold. The cow is green. The cow is red. The cow is rough. If the cow is green and the cow is red then the cow is blue. If something is green and rough then it is blue. If something is rough then it is green. If something is red and rough then it is green. If something is green and rough then it is not cold. All green things are not cold. If something is blue and not green then it is not cold. If something is rough and not red then it is cold.
The cow is red.
@0: The cow is blue.[(triple1 OR ((triple3 triple4) -> rule1) OR ((triple3 triple5) -> rule2) OR ((((triple5) -> rule3) triple4) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule2) OR ((((triple4 triple5) -> rule4) triple4) -> rule1) OR ((((triple4 triple5) -> rule4) triple5) -> rule2))] The cow is green.[(triple3 OR ((triple5) -> rule3) OR ((triple4 triple5) -> rule4))] The cow is not cold.[(triple2 OR ((triple3) -> rule6) OR ((triple3 triple5) -> rule5) OR ((((triple5) -> rule3)) -> rule6) OR ((((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule5) OR ((((triple4 triple5) -> rule4) triple5) -> rule5))] The cow is red.[(triple4)] The cow is rough.[(triple5)]