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