The cat is big. The cat is blue. The cat is kind. The cat is red. The cat is round. If the cat is kind then the cat is big. Kind, round people are big. If someone is round then they are red. If the cat is round and the cat is big then the cat is kind. All blue, round people are kind. All kind people are red. All blue people are round. Red people are kind.
The cat is big.
@0: The cat is big.[(triple1 OR ((triple3) -> rule1) OR ((triple3 triple5) -> rule2) OR ((((triple4) -> rule8)) -> rule1) OR ((((triple2 triple5) -> rule5)) -> rule1) OR ((triple3 ((triple2) -> rule7)) -> rule2) OR ((((triple4) -> rule8) triple5) -> rule2) OR ((((triple2 triple5) -> rule5) triple5) -> rule2) OR ((((triple4) -> rule8) ((triple2) -> rule7)) -> rule2) OR ((((triple2 triple5) -> rule5) ((triple2) -> rule7)) -> rule2) OR ((((((triple5) -> rule3)) -> rule8)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) triple5) -> rule2) OR ((((triple2 ((triple2) -> rule7)) -> rule5) triple5) -> rule2) OR ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule2) OR ((((triple2 ((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule3)) -> rule8)) -> rule1) OR ((((((((triple2) -> rule7)) -> rule3)) -> rule8) triple5) -> rule2) OR ((((((((triple2) -> rule7)) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule2))] The cat is blue.[(triple2)] The cat is kind.[(triple3 OR ((triple4) -> rule8) OR ((triple2 triple5) -> rule5) OR ((triple5 triple1) -> rule4) OR ((((triple5) -> rule3)) -> rule8) OR ((triple2 ((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule7) triple1) -> rule4) OR ((((((triple2) -> rule7)) -> rule3)) -> rule8))] The cat is red.[(triple4 OR ((triple3) -> rule6) OR ((triple5) -> rule3) OR ((((triple2) -> rule7)) -> rule3) OR ((((triple2 triple5) -> rule5)) -> rule6) OR ((((triple5 triple1) -> rule4)) -> rule6) OR ((((triple2 ((triple2) -> rule7)) -> rule5)) -> rule6) OR ((((((triple2) -> rule7) triple1) -> rule4)) -> rule6))] The cat is round.[(triple5 OR ((triple2) -> rule7))]