The cow is green. The cow is kind. The cow is not nice. The cow is red. The cow is young. Red people are kind. All kind people are red. Red people are young. If someone is green then they are young. If someone is green and nice then they are young. If someone is red and not kind then they are young. If someone is nice and red then they are green. Kind, young people are not nice.
The cow is nice.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2 OR ((triple4) -> rule1))] The cow is not nice.[(triple3 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple1) -> rule4)) -> rule8) OR ((triple2 ((triple4) -> rule3)) -> rule8) OR ((((triple4) -> rule1) triple5) -> rule8) OR ((((triple4) -> rule1) ((triple1) -> rule4)) -> rule8) OR ((((triple4) -> rule1) ((triple4) -> rule3)) -> rule8) OR ((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule8) OR ((((triple4) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule8))] The cow is red.[(triple4 OR ((triple2) -> rule2))] The cow is young.[(triple5 OR ((triple1) -> rule4) OR ((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3))]