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