The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is young. If the squirrel is big then the squirrel is blue. If something is big and young then it is blue. All young, big things are red. All nice, young things are red. All nice, blue things are red. If something is big then it is young. If the squirrel is red and the squirrel is not nice then the squirrel is not big. If the squirrel is young and the squirrel is nice then the squirrel is big.
The squirrel likes the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple5 triple3) -> rule8))] The squirrel is blue.[(triple2 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule2) OR ((((triple5 triple3) -> rule8)) -> rule1) OR ((triple1 ((triple1) -> rule6)) -> rule2) OR ((((triple5 triple3) -> rule8) triple5) -> rule2) OR ((((triple5 triple3) -> rule8) ((triple1) -> rule6)) -> rule2))] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4 OR ((triple3 triple2) -> rule5) OR ((triple3 triple5) -> rule4) OR ((triple5 triple1) -> rule3) OR ((triple3 ((triple1) -> rule1)) -> rule5) OR ((triple3 ((triple1) -> rule6)) -> rule4) OR ((triple3 ((triple1 triple5) -> rule2)) -> rule5) OR ((triple5 ((triple5 triple3) -> rule8)) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule3) OR ((((triple1) -> rule6) ((triple5 triple3) -> rule8)) -> rule3) OR ((triple3 ((((triple5 triple3) -> rule8)) -> rule1)) -> rule5) OR ((triple3 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule5) OR ((triple3 ((((triple5 triple3) -> rule8) triple5) -> rule2)) -> rule5) OR ((triple3 ((((triple5 triple3) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule5))] The squirrel is young.[(triple5 OR ((triple1) -> rule6))]