The dog is blue. The dog is green. The dog is red. All red things are big. All red things are young. All young, red things are blue. If something is green and red then it is big. Red things are young. All big things are young. If something is green then it is blue. If something is blue then it is green.
The dog sees the dog.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule7) OR ((((triple3) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3) OR ((((((triple3) -> rule1)) -> rule6) triple3) -> rule3) OR ((((((triple2 triple3) -> rule4)) -> rule6) triple3) -> rule3))] The dog is green.[(triple2 OR ((triple1) -> rule8) OR ((((((triple3) -> rule2) triple3) -> rule3)) -> rule8) OR ((((((triple3) -> rule5) triple3) -> rule3)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule6) triple3) -> rule3)) -> rule8))] The dog is red.[(triple3)] @1: The dog is big.[(((triple3) -> rule1) OR ((triple2 triple3) -> rule4) OR ((((triple1) -> rule8) triple3) -> rule4) OR ((((((((triple3) -> rule2) triple3) -> rule3)) -> rule8) triple3) -> rule4) OR ((((((((triple3) -> rule5) triple3) -> rule3)) -> rule8) triple3) -> rule4))] The dog is young.[(((triple3) -> rule2) OR ((triple3) -> rule5) OR ((((triple3) -> rule1)) -> rule6) OR ((((triple2 triple3) -> rule4)) -> rule6) OR ((((((triple1) -> rule8) triple3) -> rule4)) -> rule6))]