The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat is young. If someone is cold and nice then they are green. All cold, young people are nice. Cold, kind people are young. If the cat is green then the cat is kind. All kind, young people are cold. All green, kind people are young. Green, nice people are kind. Young, kind people are green.
The cat needs the cat.
@0: The cat is cold.[(triple1 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple2 triple3) -> rule6)) -> rule5) OR ((((triple2) -> rule4) triple5) -> rule5) OR ((((triple2 triple4) -> rule7) triple5) -> rule5) OR ((((triple2) -> rule4) ((triple2 triple3) -> rule6)) -> rule5) OR ((((triple2 triple4) -> rule7) ((triple2 triple3) -> rule6)) -> rule5) OR ((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) OR ((triple3 ((triple2 ((triple2 triple4) -> rule7)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) OR ((((triple2) -> rule4) ((triple2 ((triple2 triple4) -> rule7)) -> rule6)) -> rule5) OR ((((triple2 triple4) -> rule7) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) OR ((((triple2 triple4) -> rule7) ((triple2 ((triple2 triple4) -> rule7)) -> rule6)) -> rule5))] The cat is green.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple5 triple3) -> rule8) OR ((triple1 ((triple1 triple5) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) triple3) -> rule8) OR ((((triple3 triple5) -> rule5) triple4) -> rule1) OR ((((triple3 triple5) -> rule5) ((triple1 triple5) -> rule2)) -> rule1) OR ((triple1 ((triple1 ((triple1 triple3) -> rule3)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple5) -> rule5) triple5) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple5) -> rule5) ((triple1 triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule5) ((triple1 ((triple1 triple3) -> rule3)) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule5) ((((triple3 triple5) -> rule5) triple5) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule5) ((((triple3 triple5) -> rule5) ((triple1 triple3) -> rule3)) -> rule2)) -> rule1))] The cat is kind.[(triple3 OR ((triple2) -> rule4) OR ((triple2 triple4) -> rule7) OR ((((triple1 triple4) -> rule1)) -> rule4) OR ((triple2 ((triple1 triple5) -> rule2)) -> rule7) OR ((((triple1 triple4) -> rule1) triple4) -> rule7) OR ((((triple1 triple4) -> rule1) ((triple1 triple5) -> rule2)) -> rule7) OR ((((triple1 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple1 ((triple1 triple5) -> rule2)) -> rule1) triple4) -> rule7) OR ((((triple1 ((triple1 triple5) -> rule2)) -> rule1) ((triple1 triple5) -> rule2)) -> rule7))] The cat is nice.[(triple4 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple1 triple3) -> rule3)) -> rule2) OR ((triple1 ((triple2 triple3) -> rule6)) -> rule2) OR ((((triple3 triple5) -> rule5) triple5) -> rule2) OR ((((triple3 triple5) -> rule5) ((triple1 triple3) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule5) ((triple2 triple3) -> rule6)) -> rule2) OR ((triple1 ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((triple1 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule2) OR ((((((triple2) -> rule4) triple5) -> rule5) triple5) -> rule2) OR ((((triple3 triple5) -> rule5) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple3 triple5) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule6)) -> rule5) ((triple1 triple3) -> rule3)) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule6)) -> rule5) ((triple2 triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) triple5) -> rule5) ((triple1 triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) triple5) -> rule5) ((triple2 triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 triple3) -> rule6)) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule6)) -> rule5) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple3 ((triple2 triple3) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) triple5) -> rule5) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) triple5) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 triple3) -> rule6)) -> rule5) ((triple1 triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 triple3) -> rule6)) -> rule5) ((triple2 triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 triple3) -> rule6)) -> rule5) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 triple3) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple1 triple3) -> rule3)) -> rule2) OR ((((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple2 triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple1 triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple2 triple3) -> rule6)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule5) ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2))] The cat is young.[(triple5 OR ((triple1 triple3) -> rule3) OR ((triple2 triple3) -> rule6) OR ((triple1 ((triple2) -> rule4)) -> rule3) OR ((triple1 ((triple2 triple4) -> rule7)) -> rule3) OR ((triple2 ((triple2) -> rule4)) -> rule6) OR ((triple2 ((triple2 triple4) -> rule7)) -> rule6) OR ((((triple1 triple4) -> rule1) triple3) -> rule6) OR ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule6) OR ((((triple1 triple4) -> rule1) ((triple2 triple4) -> rule7)) -> rule6) OR ((triple1 ((((triple1 triple4) -> rule1)) -> rule4)) -> rule3) OR ((triple1 ((((triple1 triple4) -> rule1) triple4) -> rule7)) -> rule3) OR ((triple2 ((((triple1 triple4) -> rule1)) -> rule4)) -> rule6) OR ((triple2 ((((triple1 triple4) -> rule1) triple4) -> rule7)) -> rule6) OR ((((triple1 triple4) -> rule1) ((((triple1 triple4) -> rule1)) -> rule4)) -> rule6) OR ((((triple1 triple4) -> rule1) ((((triple1 triple4) -> rule1) triple4) -> rule7)) -> rule6))]