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