The cow is blue. The cow is kind. The cow is nice. The cow is red. The cow is young. All young people are red. If someone is nice and young then they are red. If someone is nice then they are red. If someone is young and kind then they are red. If someone is kind and blue then they are young. If the cow is blue then the cow is young. If someone is blue then they are kind. Blue, kind people are young.
The cow sees the cow.
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2 OR ((triple1) -> rule7))] The cow is nice.[(triple3)] The cow is red.[(triple4 OR ((triple3) -> rule3) OR ((triple5) -> rule1) OR ((triple3 triple5) -> rule2) OR ((triple5 triple2) -> rule4) OR ((((triple1) -> rule6)) -> rule1) OR ((((triple1 triple2) -> rule8)) -> rule1) OR ((((triple2 triple1) -> rule5)) -> rule1) OR ((triple3 ((triple1) -> rule6)) -> rule2) OR ((triple3 ((triple1 triple2) -> rule8)) -> rule2) OR ((triple3 ((triple2 triple1) -> rule5)) -> rule2) OR ((triple5 ((triple1) -> rule7)) -> rule4) OR ((((triple1) -> rule6) triple2) -> rule4) OR ((((triple1 triple2) -> rule8) triple2) -> rule4) OR ((((triple2 triple1) -> rule5) triple2) -> rule4) OR ((((triple1) -> rule6) ((triple1) -> rule7)) -> rule4) OR ((((triple1 triple2) -> rule8) ((triple1) -> rule7)) -> rule4) OR ((((triple2 triple1) -> rule5) ((triple1) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule7)) -> rule8)) -> rule1) OR ((((((triple1) -> rule7) triple1) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule7)) -> rule8)) -> rule2) OR ((triple3 ((((triple1) -> rule7) triple1) -> rule5)) -> rule2) OR ((((triple1 ((triple1) -> rule7)) -> rule8) triple2) -> rule4) OR ((((((triple1) -> rule7) triple1) -> rule5) triple2) -> rule4) OR ((((triple1 ((triple1) -> rule7)) -> rule8) ((triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule7) triple1) -> rule5) ((triple1) -> rule7)) -> rule4))] The cow is young.[(triple5 OR ((triple1) -> rule6) OR ((triple1 triple2) -> rule8) OR ((triple2 triple1) -> rule5) OR ((triple1 ((triple1) -> rule7)) -> rule8) OR ((((triple1) -> rule7) triple1) -> rule5))]