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