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