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