The bear is big. The bear is young. The bear likes the squirrel. The bear visits the rabbit. The rabbit is blue. The squirrel is blue. The squirrel is cold. The squirrel is young. The squirrel likes the rabbit. The squirrel sees the bear. The squirrel sees the rabbit. The squirrel visits the bear. Blue people are cold. If someone is young and they like the squirrel then the squirrel is big. If someone likes the rabbit and the rabbit visits the squirrel then they visit the rabbit. If someone sees the bear and they like the squirrel then the squirrel likes the rabbit. If someone likes the squirrel then the squirrel visits the bear. If someone is big and they see the bear then they like the squirrel. If the rabbit is big and the rabbit is cold then the rabbit likes the bear. If someone likes the squirrel and they see the rabbit then they visit the squirrel.
The squirrel is not big.
@0: The bear is big.[(triple1)] The bear is young.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the rabbit.[(triple4)] The rabbit is blue.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is cold.[(triple7 OR ((triple6) -> rule1))] The squirrel is young.[(triple8)] The squirrel likes the rabbit.[(triple9 OR ((triple10 ((((triple2 triple3) -> rule2) triple10) -> rule6)) -> rule4))] The squirrel sees the bear.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the bear.[(triple12 OR ((triple3) -> rule5) OR ((((((triple2 triple3) -> rule2) triple10) -> rule6)) -> rule5))] @1: The rabbit is cold.[(((triple5) -> rule1))] The squirrel is big.[(((triple2 triple3) -> rule2))] @2: The squirrel likes the squirrel.[(((((triple2 triple3) -> rule2) triple10) -> rule6))] @3: The squirrel visits the squirrel.[(((((((triple2 triple3) -> rule2) triple10) -> rule6) triple11) -> rule8))]