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