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