The cow is cold. The cow is green. The cow is nice. The cow is red. The cow is round. Cold things are green. Nice, red things are green. If something is green then it is cold. Red, green things are cold. If something is nice then it is cold. If something is cold then it is red.
The cow is not green.
@0: The cow is cold.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule5) OR ((triple4 triple2) -> rule4) OR ((((triple3 triple4) -> rule2)) -> rule3) OR ((triple4 ((triple3 triple4) -> rule2)) -> rule4))] The cow is green.[(triple2 OR ((triple1) -> rule1) OR ((triple3 triple4) -> rule2) OR ((((triple3) -> rule5)) -> rule1) OR ((triple3 ((triple1) -> rule6)) -> rule2) OR ((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule2))] The cow is nice.[(triple3)] The cow is red.[(triple4 OR ((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple3) -> rule5)) -> rule6))] The cow is round.[(triple5)]