The cat is big. The cat is blue. The cat is green. The cat is kind. The cat is nice. If something is blue then it is kind. All green things are nice. Nice things are blue. Kind, big things are blue. If the cat is nice then the cat is green. If the cat is big then the cat is blue.
The cat is big.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2 OR ((triple1) -> rule6) OR ((triple5) -> rule3) OR ((triple4 triple1) -> rule4) OR ((((triple3) -> rule2)) -> rule3))] The cat is green.[(triple3 OR ((triple5) -> rule5))] The cat is kind.[(triple4 OR ((triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule3)) -> rule1))] The cat is nice.[(triple5 OR ((triple3) -> rule2))]