The cow is big. The cow is blue. The cow is green. The cow is kind. The cow is red. If the cow is big and the cow is blue then the cow is red. If someone is kind then they are green. If someone is green then they are big. If someone is kind and red then they are blue. Red people are kind. If the cow is kind then the cow is green.
The cow likes the cow.
@0: The cow is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6)) -> rule3))] The cow is blue.[(triple2 OR ((triple4 triple5) -> rule4) OR ((((triple5) -> rule5) triple5) -> rule4))] The cow is green.[(triple3 OR ((triple4) -> rule2) OR ((triple4) -> rule6) OR ((((triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule5)) -> rule6) OR ((((((triple1 triple2) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1 triple2) -> rule1)) -> rule5)) -> rule6))] The cow is kind.[(triple4 OR ((triple5) -> rule5) OR ((((triple1 triple2) -> rule1)) -> rule5) OR ((((((triple3) -> rule3) triple2) -> rule1)) -> rule5))] The cow is red.[(triple5 OR ((triple1 triple2) -> rule1) OR ((((triple3) -> rule3) triple2) -> rule1) OR ((((((triple4) -> rule2)) -> rule3) triple2) -> rule1) OR ((((((triple4) -> rule6)) -> rule3) triple2) -> rule1))]