The cow is big. The cow is blue. The cow is cold. The cow is nice. The cow is red. Red people are big. If the cow is red and the cow is big then the cow is cold. If someone is cold then they are red. Red, cold people are blue. If someone is big and not red then they are blue. Cold, blue people are nice.
The cow does not eat the cow.
@0: The cow is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The cow is blue.[(triple2 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple5 triple1) -> rule2)) -> rule4) OR ((((triple3) -> rule3) triple3) -> rule4) OR ((((triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule4) OR ((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple3) -> rule3) ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4))] The cow is cold.[(triple3 OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple5) -> rule1)) -> rule2))] The cow is nice.[(triple4 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple5 triple3) -> rule4)) -> rule6) OR ((((triple5 triple1) -> rule2) triple2) -> rule6) OR ((((triple5 triple1) -> rule2) ((triple5 triple3) -> rule4)) -> rule6) OR ((triple3 ((triple5 ((triple5 triple1) -> rule2)) -> rule4)) -> rule6) OR ((triple3 ((((triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) triple2) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 triple1) -> rule2) ((triple5 ((triple5 triple1) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 triple1) -> rule2) ((((triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5 triple3) -> rule4)) -> rule6) OR ((((triple5 triple1) -> rule2) ((((triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5 ((triple5 triple1) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((((triple3) -> rule3) triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((((triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule4)) -> rule6) OR ((triple3 ((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 triple1) -> rule2) ((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 triple1) -> rule2) ((((triple3) -> rule3) ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((triple5 ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule1)) -> rule2) ((((triple3) -> rule3) ((triple5 ((triple5) -> rule1)) -> rule2)) -> rule4)) -> rule6))] The cow is red.[(triple5 OR ((triple3) -> rule3))]