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