The cow is big. The cow is blue. The cow is green. The cow is red. The cow is young. If something is blue then it is big. All big, green things are red. Young things are green. All young, big things are blue. Green, big things are blue. Blue, green things are red.
The cow sees the cow.
@0: The cow is big.[(triple1 OR ((triple2) -> rule1))] The cow is blue.[(triple2 OR ((triple3 triple1) -> rule5) OR ((triple5 triple1) -> rule4) OR ((((triple5) -> rule3) triple1) -> rule5))] The cow is green.[(triple3 OR ((triple5) -> rule3))] The cow is red.[(triple4 OR ((triple1 triple3) -> rule2) OR ((triple2 triple3) -> rule6) OR ((triple1 ((triple5) -> rule3)) -> rule2) OR ((triple2 ((triple5) -> rule3)) -> rule6) OR ((((triple2) -> rule1) triple3) -> rule2) OR ((((triple3 triple1) -> rule5) triple3) -> rule6) OR ((((triple5 triple1) -> rule4) triple3) -> rule6) OR ((((triple2) -> rule1) ((triple5) -> rule3)) -> rule2) OR ((((triple3 triple1) -> rule5) ((triple5) -> rule3)) -> rule6) OR ((((triple5 triple1) -> rule4) ((triple5) -> rule3)) -> rule6) OR ((((((triple5) -> rule3) triple1) -> rule5) triple3) -> rule6) OR ((((((triple5) -> rule3) triple1) -> rule5) ((triple5) -> rule3)) -> rule6))] The cow is young.[(triple5)]