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