The cow is big. The cow is green. The cow is nice. The cow sees the lion. The lion is nice. The tiger is big. The tiger sees the cow. Green, nice people are red. If the cow is red and the cow likes the lion then the cow is kind. If someone is red then they like the lion.
The cow is red.
@0: The cow is big.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The cow sees the lion.[(triple4)] The lion is nice.[(triple5)] The tiger is big.[(triple6)] The tiger sees the cow.[(triple7)] @1: The cow is red.[(((triple2 triple3) -> rule1))] @2: The cow likes the lion.[(((((triple2 triple3) -> rule1)) -> rule3))] @3: The cow is kind.[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1)) -> rule3)) -> rule2))]