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