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