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