The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow is rough. Nice, rough people are blue. Rough people are blue. Green, nice people are blue. All rough people are blue. If someone is nice then they are blue. Nice people are green. All rough people are green. All blue people are nice.
The cow is blue.
@0: The cow is blue.[(triple1 OR ((triple4) -> rule5) OR ((triple5) -> rule2) OR ((triple5) -> rule4) OR ((triple2 triple4) -> rule3) OR ((triple4 triple5) -> rule1) OR ((((triple4) -> rule6) triple4) -> rule3) OR ((((triple5) -> rule7) triple4) -> rule3))] The cow is green.[(triple2 OR ((triple4) -> rule6) OR ((triple5) -> rule7) OR ((((triple1) -> rule8)) -> rule6) OR ((((((triple5) -> rule2)) -> rule8)) -> rule6) OR ((((((triple5) -> rule4)) -> rule8)) -> rule6))] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple1) -> rule8) OR ((((triple5) -> rule2)) -> rule8) OR ((((triple5) -> rule4)) -> rule8))] The cow is rough.[(triple5)]