The cow is cold. The cow is kind. The cow is red. The cow is rough. The cow is round. All cold people are red. Rough people are kind. If someone is kind and round then they are cold. All kind people are cold. If someone is rough then they are red. All cold people are round.
The cow does not chase the cow.
@0: The cow is cold.[(triple1 OR ((triple2) -> rule4) OR ((triple2 triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple4) -> rule2) triple5) -> rule3))] The cow is kind.[(triple2 OR ((triple4) -> rule2))] The cow is red.[(triple3 OR ((triple1) -> rule1) OR ((triple4) -> rule5) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple2 triple5) -> rule3)) -> rule1) OR ((((((triple4) -> rule2)) -> rule4)) -> rule1) OR ((((((triple4) -> rule2) triple5) -> rule3)) -> rule1))] The cow is rough.[(triple4)] The cow is round.[(triple5 OR ((triple1) -> rule6) OR ((((triple2) -> rule4)) -> rule6) OR ((((((triple4) -> rule2)) -> rule4)) -> rule6))]