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