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