The cat is big. The cat is blue. The cat is cold. The cat is green. The cat is rough. Green, rough people are big. All cold people are green. Rough, green people are blue. If someone is green then they are blue. Big, rough people are blue. If someone is rough and big then they are cold.
The cat is big.
@0: The cat is big.[(triple1 OR ((triple4 triple5) -> rule1) OR ((((triple3) -> rule2) triple5) -> rule1))] The cat is blue.[(triple2 OR ((triple4) -> rule4) OR ((triple1 triple5) -> rule5) OR ((triple5 triple4) -> rule3) OR ((((triple3) -> rule2)) -> rule4) OR ((triple5 ((triple3) -> rule2)) -> rule3) OR ((((triple4 triple5) -> rule1) triple5) -> rule5) OR ((((((triple5 triple1) -> rule6)) -> rule2)) -> rule4) OR ((triple5 ((((triple5 triple1) -> rule6)) -> rule2)) -> rule3) OR ((((((triple3) -> rule2) triple5) -> rule1) triple5) -> rule5))] The cat is cold.[(triple3 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple4 triple5) -> rule1)) -> rule6))] The cat is green.[(triple4 OR ((triple3) -> rule2) OR ((((triple5 triple1) -> rule6)) -> rule2))] The cat is rough.[(triple5)]