The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is not red. All nice, red people are blue. If someone is green then they are blue. If someone is big and nice then they are green. If someone is green then they are big. All blue, green people are not red. If the squirrel is big and the squirrel is nice then the squirrel is blue.
The squirrel is nice.
@0: The squirrel is big.[(triple1 OR ((triple3) -> rule4))] The squirrel is blue.[(triple2 OR ((triple3) -> rule2) OR ((triple1 triple4) -> rule6) OR ((((triple1 triple4) -> rule3)) -> rule2) OR ((((triple3) -> rule4) triple4) -> rule6))] The squirrel is green.[(triple3 OR ((triple1 triple4) -> rule3))] The squirrel is nice.[(triple4)] The squirrel is not red.[(triple5 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple1 triple4) -> rule3)) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5) OR ((((triple1 triple4) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule2) ((triple1 triple4) -> rule3)) -> rule5) OR ((((triple1 triple4) -> rule6) ((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule2) triple3) -> rule5) OR ((((((triple3) -> rule4) triple4) -> rule6) triple3) -> rule5) OR ((((((triple1 triple4) -> rule3)) -> rule2) ((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple3) -> rule4) triple4) -> rule6) ((triple1 triple4) -> rule3)) -> rule5))]