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