The cow is blue. The lion eats the cow. The lion is big. The lion is green. The lion is rough. The lion sees the cow. The lion visits the cow. If the lion eats the cow and the lion sees the cow then the cow is blue. If someone sees the cow and they visit the cow then they are blue. If someone is green and they see the lion then they eat the lion. If someone is cold and big then they visit the lion. All rough people are cold. If someone is cold and they see the cow then the cow is rough. If someone sees the lion and the lion eats the cow then they eat the cow. If someone sees the lion and the lion visits the cow then the cow is green.
The cow is not rough.
@0: The cow is blue.[(triple1 OR ((triple2 triple6) -> rule1))] The lion eats the cow.[(triple2)] The lion is big.[(triple3)] The lion is green.[(triple4)] The lion is rough.[(triple5)] The lion sees the cow.[(triple6)] The lion visits the cow.[(triple7)] @1: The lion is blue.[(((triple6 triple7) -> rule2))] The lion is cold.[(((triple5) -> rule5))] @2: The cow is rough.[(((((triple5) -> rule5) triple6) -> rule6))] The lion visits the lion.[(((((triple5) -> rule5) triple3) -> rule4))] @3: The cow is cold.[(((((((triple5) -> rule5) triple6) -> rule6)) -> rule5))]