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