The cow is big. The cow is blue. The cow is green. The cow is red. The cow is young. If the cow is green then the cow is blue. If something is green then it is blue. All red things are big. If the cow is red then the cow is green. If something is blue then it is green. If something is young then it is red. All young things are red. All green things are red.
The cow is blue.
@0: The cow is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple3) -> rule8)) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule8)) -> rule3))] The cow is blue.[(triple2 OR ((triple3) -> rule1) OR ((triple3) -> rule2) OR ((((triple4) -> rule4)) -> rule1) OR ((((triple4) -> rule4)) -> rule2) OR ((((((triple5) -> rule6)) -> rule4)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4)) -> rule2) OR ((((((triple5) -> rule7)) -> rule4)) -> rule1) OR ((((((triple5) -> rule7)) -> rule4)) -> rule2))] The cow is green.[(triple3 OR ((triple2) -> rule5) OR ((triple4) -> rule4) OR ((((triple5) -> rule6)) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] The cow is red.[(triple4 OR ((triple3) -> rule8) OR ((triple5) -> rule6) OR ((triple5) -> rule7) OR ((((triple2) -> rule5)) -> rule8))] The cow is young.[(triple5)]