The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is nice. If something is blue and big then it is green. Cold things are green. If the cow is blue then the cow is cold. If something is big and cold then it is blue. Nice things are big. Nice things are cold.
The cow does not eat the cow.
@0: The cow is big.[(triple1 OR ((triple5) -> rule5))] The cow is blue.[(triple2 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple5) -> rule6)) -> rule4) OR ((((triple5) -> rule5) triple3) -> rule4) OR ((((triple5) -> rule5) ((triple5) -> rule6)) -> rule4))] The cow is cold.[(triple3 OR ((triple2) -> rule3) OR ((triple5) -> rule6))] The cow is green.[(triple4 OR ((triple3) -> rule2) OR ((triple2 triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple5) -> rule6)) -> rule2) OR ((triple2 ((triple5) -> rule5)) -> rule1) OR ((((triple1 triple3) -> rule4) triple1) -> rule1) OR ((((triple1 triple3) -> rule4) ((triple5) -> rule5)) -> rule1) OR ((((triple1 ((triple5) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple5) -> rule5) triple3) -> rule4) triple1) -> rule1) OR ((((triple1 ((triple5) -> rule6)) -> rule4) ((triple5) -> rule5)) -> rule1) OR ((((((triple5) -> rule5) triple3) -> rule4) ((triple5) -> rule5)) -> rule1) OR ((((((triple5) -> rule5) ((triple5) -> rule6)) -> rule4) triple1) -> rule1) OR ((((((triple5) -> rule5) ((triple5) -> rule6)) -> rule4) ((triple5) -> rule5)) -> rule1))] The cow is nice.[(triple5)]