The cow is cold. The cow is green. The cow is kind. The cow is nice. The cow is red. Green, red people are kind. All green, cold people are red. If the cow is green and the cow is cold then the cow is nice. Cold, green people are kind. All green people are cold. If someone is kind and red then they are nice.
The cow visits the cow.
@0: The cow is cold.[(triple1 OR ((triple2) -> rule5))] The cow is green.[(triple2)] The cow is kind.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple2 triple1) -> rule2)) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule4) OR ((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1))] The cow is nice.[(triple4 OR ((triple2 triple1) -> rule3) OR ((triple3 triple5) -> rule6) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule4) triple5) -> rule6) OR ((((triple2 triple5) -> rule1) triple5) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 triple5) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((triple3 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) triple5) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) triple5) -> rule6) OR ((((triple1 triple2) -> rule4) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 triple5) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple2) -> rule5) triple2) -> rule4) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) triple5) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) ((triple2 triple1) -> rule2)) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule1) ((triple2 ((triple2) -> rule5)) -> rule2)) -> rule6))] The cow is red.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple2) -> rule5)) -> rule2))]