The cow is blue. The cow is kind. The cow is red. The cow is rough. The cow is young. Young, kind people are blue. All blue people are kind. If the cow is kind and the cow is young then the cow is rough. If the cow is blue then the cow is rough. If someone is kind then they are young. If someone is blue and not kind then they are not red.
The cow sees the cow.
@0: The cow is blue.[(triple1 OR ((triple5 triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule1))] The cow is kind.[(triple2 OR ((triple1) -> rule2))] The cow is red.[(triple3)] The cow is rough.[(triple4 OR ((triple1) -> rule4) OR ((triple2 triple5) -> rule3) OR ((((triple5 triple2) -> rule1)) -> rule4) OR ((triple2 ((triple2) -> rule5)) -> rule3) OR ((((triple1) -> rule2) triple5) -> rule3) OR ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5) triple2) -> rule1)) -> rule4) OR ((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule3))] The cow is young.[(triple5 OR ((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))]