The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is kind. If something is cold then it is kind. If something is cold and big then it is kind. Kind things are blue. All green things are blue. Green things are blue. If the cow is kind and the cow is blue then the cow is big.
The cow is not kind.
@0: The cow is big.[(triple1 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple4) -> rule4)) -> rule6) OR ((triple5 ((triple4) -> rule5)) -> rule6) OR ((triple5 ((triple5) -> rule3)) -> rule6) OR ((((triple3) -> rule1) triple2) -> rule6) OR ((((triple3) -> rule1) ((triple4) -> rule4)) -> rule6) OR ((((triple3) -> rule1) ((triple4) -> rule5)) -> rule6) OR ((((triple3) -> rule1) ((triple5) -> rule3)) -> rule6) OR ((triple5 ((((triple3) -> rule1)) -> rule3)) -> rule6) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule6))] The cow is blue.[(triple2 OR ((triple4) -> rule4) OR ((triple4) -> rule5) OR ((triple5) -> rule3) OR ((((triple3) -> rule1)) -> rule3) OR ((((triple3 triple1) -> rule2)) -> rule3))] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5 OR ((triple3) -> rule1) OR ((triple3 triple1) -> rule2))]