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