The bear is big. The bear is nice. The bear is red. The bear is rough. The bear is round. The bear likes the cow. The bear needs the cow. The bear visits the cow. The cow is nice. The cow is round. The cow likes the bear. The cow needs the bear. If the bear needs the cow then the bear visits the cow. If something needs the cow and it likes the cow then it is red. If something is round then it visits the cow. If something likes the cow then it is red. If something likes the bear and the bear visits the cow then the bear needs the cow. If something visits the cow and it needs the cow then it likes the bear. If something visits the cow then the cow is round. If something needs the bear then the bear likes the cow.
The cow is rough.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3 OR ((triple6) -> rule4) OR ((triple7 triple6) -> rule2) OR ((((triple12) -> rule8)) -> rule4) OR ((triple7 ((triple12) -> rule8)) -> rule2) OR ((((triple11 triple8) -> rule5) triple6) -> rule2) OR ((((triple11 triple8) -> rule5) ((triple12) -> rule8)) -> rule2) OR ((((triple11 ((triple5) -> rule3)) -> rule5) triple6) -> rule2) OR ((((triple11 ((triple5) -> rule3)) -> rule5) ((triple12) -> rule8)) -> rule2))] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear likes the cow.[(triple6 OR ((triple12) -> rule8))] The bear needs the cow.[(triple7 OR ((triple11 triple8) -> rule5) OR ((triple11 ((triple5) -> rule3)) -> rule5))] The bear visits the cow.[(triple8 OR ((triple5) -> rule3) OR ((triple7) -> rule1))] The cow is nice.[(triple9)] The cow is round.[(triple10 OR ((triple8) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] The cow likes the bear.[(triple11)] The cow needs the bear.[(triple12)] @1: The bear likes the bear.[(((triple8 triple7) -> rule6) OR ((triple8 ((triple11 triple8) -> rule5)) -> rule6) OR ((((triple5) -> rule3) triple7) -> rule6) OR ((((triple7) -> rule1) triple7) -> rule6) OR ((((triple5) -> rule3) ((triple11 triple8) -> rule5)) -> rule6) OR ((((triple7) -> rule1) ((triple11 triple8) -> rule5)) -> rule6) OR ((triple8 ((triple11 ((triple5) -> rule3)) -> rule5)) -> rule6) OR ((((triple5) -> rule3) ((triple11 ((triple5) -> rule3)) -> rule5)) -> rule6) OR ((((triple7) -> rule1) ((triple11 ((triple5) -> rule3)) -> rule5)) -> rule6))] The cow visits the cow.[(((triple10) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple5) -> rule3)) -> rule7)) -> rule3) OR ((((((triple7) -> rule1)) -> rule7)) -> rule3))]