The bald eagle is green. The cat is round. The dog chases the cat. The squirrel visits the bald eagle. If something sees the dog then the dog is round. All rough things are round. If something visits the cat and it visits the squirrel then it sees the squirrel. If something is green and it sees the squirrel then it sees the dog. If something chases the squirrel and the squirrel is green then it sees the squirrel. Green things are rough.
The cat is not round.
@0: The bald eagle is green.[(triple1)] The cat is round.[(triple2)] The dog chases the cat.[(triple3)] The squirrel visits the bald eagle.[(triple4)] @1: The bald eagle is rough.[(((triple1) -> rule6))] @2: The bald eagle is round.[(((((triple1) -> rule6)) -> rule2))]