The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. All kind, green people are rough. Kind people are rough. All red people are green. All rough, green people are big. Big, kind people are green. Red, rough people are big. If the squirrel is rough and the squirrel is green then the squirrel is big. If the squirrel is rough and the squirrel is kind then the squirrel is red.
The squirrel does not see the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple4 triple5) -> rule6) OR ((triple5 triple2) -> rule4) OR ((triple5 triple2) -> rule7) OR ((triple4 ((triple3) -> rule2)) -> rule6) OR ((triple4 ((triple3 triple2) -> rule1)) -> rule6) OR ((triple5 ((triple4) -> rule3)) -> rule4) OR ((triple5 ((triple4) -> rule3)) -> rule7) OR ((((triple3) -> rule2) triple2) -> rule4) OR ((((triple3) -> rule2) triple2) -> rule7) OR ((((triple3 triple2) -> rule1) triple2) -> rule4) OR ((((triple3 triple2) -> rule1) triple2) -> rule7) OR ((((triple5 triple3) -> rule8) triple5) -> rule6) OR ((((triple3) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((triple3) -> rule2) ((triple4) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule1) ((triple4) -> rule3)) -> rule4) OR ((((triple3 triple2) -> rule1) ((triple4) -> rule3)) -> rule7) OR ((((triple5 triple3) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((triple5 triple3) -> rule8) ((triple3 triple2) -> rule1)) -> rule6) OR ((triple4 ((triple3 ((triple4) -> rule3)) -> rule1)) -> rule6) OR ((triple5 ((((triple5 triple3) -> rule8)) -> rule3)) -> rule4) OR ((triple5 ((((triple5 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((triple4) -> rule3)) -> rule1) triple2) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule1) triple2) -> rule7) OR ((((((triple3) -> rule2) triple3) -> rule8) triple5) -> rule6) OR ((((((triple3 triple2) -> rule1) triple3) -> rule8) triple5) -> rule6) OR ((((triple3) -> rule2) ((((triple5 triple3) -> rule8)) -> rule3)) -> rule4) OR ((((triple3) -> rule2) ((((triple5 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule1) ((((triple5 triple3) -> rule8)) -> rule3)) -> rule4) OR ((((triple3 triple2) -> rule1) ((((triple5 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((triple4) -> rule3)) -> rule1) ((triple4) -> rule3)) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule1) ((triple4) -> rule3)) -> rule7) OR ((((triple5 triple3) -> rule8) ((triple3 ((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule8) ((triple3 triple2) -> rule1)) -> rule6) OR ((((((triple3 triple2) -> rule1) triple3) -> rule8) ((triple3) -> rule2)) -> rule6) OR ((((((triple3 triple2) -> rule1) triple3) -> rule8) ((triple3 triple2) -> rule1)) -> rule6) OR ((((triple3 ((triple4) -> rule3)) -> rule1) ((((triple5 triple3) -> rule8)) -> rule3)) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule1) ((((triple5 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((((triple3) -> rule2) triple3) -> rule8) ((triple3 ((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3 triple2) -> rule1) triple3) -> rule8) ((triple3 ((triple4) -> rule3)) -> rule1)) -> rule6) OR ((triple5 ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule4) OR ((triple5 ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule4) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule1) ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule4) OR ((((triple3 triple2) -> rule1) ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((triple4) -> rule3)) -> rule1) ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule4) OR ((((triple3 ((triple4) -> rule3)) -> rule1) ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3)) -> rule7))] The squirrel is green.[(triple2 OR ((triple4) -> rule3) OR ((triple1 triple3) -> rule5) OR ((((triple5 triple3) -> rule8)) -> rule3) OR ((((triple4 triple5) -> rule6) triple3) -> rule5) OR ((((((triple3) -> rule2) triple3) -> rule8)) -> rule3) OR ((((triple4 ((triple3) -> rule2)) -> rule6) triple3) -> rule5) OR ((((((triple5 triple3) -> rule8) triple5) -> rule6) triple3) -> rule5) OR ((((((triple5 triple3) -> rule8) ((triple3) -> rule2)) -> rule6) triple3) -> rule5) OR ((((((((triple3) -> rule2) triple3) -> rule8) triple5) -> rule6) triple3) -> rule5) OR ((((((((triple3) -> rule2) triple3) -> rule8) ((triple3) -> rule2)) -> rule6) triple3) -> rule5))] The squirrel is kind.[(triple3)] The squirrel is red.[(triple4 OR ((triple5 triple3) -> rule8) OR ((((triple3) -> rule2) triple3) -> rule8) OR ((((triple3 triple2) -> rule1) triple3) -> rule8) OR ((((triple3 ((triple1 triple3) -> rule5)) -> rule1) triple3) -> rule8))] The squirrel is rough.[(triple5 OR ((triple3) -> rule2) OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple4) -> rule3)) -> rule1) OR ((triple3 ((triple1 triple3) -> rule5)) -> rule1))]