The cow is big. The cow is green. The cow is rough. The cow is round. The cow is young. If something is rough then it is round. Young, green things are round. If the cow is round then the cow is big. All green, big things are young. Big things are green. If something is rough then it is green.
The cow sees the cow.
@0: The cow is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3) OR ((((triple5 triple2) -> rule2)) -> rule3) OR ((((triple5 ((triple3) -> rule6)) -> rule2)) -> rule3))] The cow is green.[(triple2 OR ((triple1) -> rule5) OR ((triple3) -> rule6) OR ((((triple4) -> rule3)) -> rule5) OR ((((((triple3) -> rule1)) -> rule3)) -> rule5))] The cow is rough.[(triple3)] The cow is round.[(triple4 OR ((triple3) -> rule1) OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple1) -> rule5)) -> rule2) OR ((triple5 ((triple3) -> rule6)) -> rule2) OR ((((triple2 triple1) -> rule4) triple2) -> rule2) OR ((((triple2 triple1) -> rule4) ((triple1) -> rule5)) -> rule2) OR ((((triple2 triple1) -> rule4) ((triple3) -> rule6)) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule4) triple2) -> rule2) OR ((((((triple3) -> rule6) triple1) -> rule4) triple2) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule4) ((triple1) -> rule5)) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule4) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule6) triple1) -> rule4) ((triple1) -> rule5)) -> rule2) OR ((((((triple3) -> rule6) triple1) -> rule4) ((triple3) -> rule6)) -> rule2))] The cow is young.[(triple5 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple4) -> rule3)) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4) OR ((((triple3) -> rule6) triple1) -> rule4) OR ((((triple1) -> rule5) ((triple4) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((triple4) -> rule3)) -> rule4) OR ((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) triple1) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule1)) -> rule3)) -> rule4) OR ((((triple3) -> rule6) ((((triple3) -> rule1)) -> rule3)) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule5) triple1) -> rule4) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule3)) -> rule4))]