The cat is green. The cat is kind. The cat is nice. The cat is red. The cat is young. If something is red and kind then it is green. If the cat is green then the cat is young. Kind things are green. If something is nice then it is kind. Kind, red things are young. If something is young and green then it is kind. Nice things are young. If the cat is young and the cat is nice then the cat is kind.
The cat needs the cat.
@0: The cat is green.[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple2) -> rule1) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple5 triple3) -> rule8)) -> rule3) OR ((triple4 ((triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple3) -> rule8)) -> rule1) OR ((((((triple3) -> rule7) triple3) -> rule8)) -> rule3) OR ((triple4 ((((triple3) -> rule7) triple3) -> rule8)) -> rule1))] The cat is kind.[(triple2 OR ((triple3) -> rule4) OR ((triple5 triple1) -> rule6) OR ((triple5 triple3) -> rule8) OR ((((triple1) -> rule2) triple1) -> rule6) OR ((((triple1) -> rule2) triple3) -> rule8) OR ((((triple3) -> rule7) triple1) -> rule6) OR ((((triple3) -> rule7) triple3) -> rule8))] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5 OR ((triple1) -> rule2) OR ((triple3) -> rule7) OR ((triple2 triple4) -> rule5) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple4 triple2) -> rule1)) -> rule2) OR ((((triple3) -> rule4) triple4) -> rule5) OR ((((((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((triple3) -> rule4)) -> rule1)) -> rule2))]