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