The cat is big. The cat is cold. The cat is green. The cat is nice. The cat is rough. If the cat is rough then the cat is big. If the cat is big then the cat is nice. If the cat is cold then the cat is big. If the cat is nice and the cat is cold then the cat is big. If the cat is cold and the cat is rough then the cat is big. If something is nice then it is big. Big things are cold. If the cat is nice then the cat is rough.
The cat likes the cat.
@0: The cat is big.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule6) OR ((triple5) -> rule1) OR ((triple2 triple5) -> rule5) OR ((triple4 triple2) -> rule4) OR ((((triple4) -> rule8)) -> rule1) OR ((triple2 ((triple4) -> rule8)) -> rule5))] The cat is cold.[(triple2 OR ((triple1) -> rule7) OR ((((triple4) -> rule6)) -> rule7) OR ((((triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule8)) -> rule1)) -> rule7))] The cat is green.[(triple3)] The cat is nice.[(triple4 OR ((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple2 triple5) -> rule5)) -> rule2))] The cat is rough.[(triple5 OR ((triple4) -> rule8) OR ((((triple1) -> rule2)) -> rule8) OR ((((((triple2) -> rule3)) -> rule2)) -> rule8))]