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