The cow is green. The cow is not kind. The cow is nice. The cow is red. The cow is round. Round, green things are red. All round, nice things are red. If something is round and not kind then it is red. All kind things are not green. All round things are green. All nice things are green. If the cow is green then the cow is red. If something is nice then it is round.
The cow eats the cow.
@0: The cow is green.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] The cow is nice.[(triple3)] The cow is not kind.[(triple2)] The cow is red.[(triple4 OR ((triple1) -> rule7) OR ((triple5 triple1) -> rule1) OR ((triple5 triple2) -> rule3) OR ((triple5 triple3) -> rule2) OR ((((triple3) -> rule6)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((triple5 ((triple3) -> rule6)) -> rule1) OR ((triple5 ((triple5) -> rule5)) -> rule1) OR ((((triple3) -> rule8) triple1) -> rule1) OR ((((triple3) -> rule8) triple2) -> rule3) OR ((((triple3) -> rule8) triple3) -> rule2) OR ((((triple3) -> rule8) ((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule8) ((triple5) -> rule5)) -> rule1) OR ((((((triple3) -> rule8)) -> rule5)) -> rule7) OR ((triple5 ((((triple3) -> rule8)) -> rule5)) -> rule1) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule1))] The cow is round.[(triple5 OR ((triple3) -> rule8))]