The cat is big. The cat is cold. The cat is kind. The cat is round. The cat is young. If someone is round and cold then they are big. If the cat is round and the cat is cold then the cat is kind. All kind, young people are cold. Big people are round. If someone is young then they are kind. If the cat is kind then the cat is big. If someone is young then they are big. Kind people are cold.
The cat needs the cat.
@0: The cat is big.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule7) OR ((triple4 triple2) -> rule1) OR ((((triple5) -> rule5)) -> rule6) OR ((((triple4 triple2) -> rule2)) -> rule6) OR ((triple4 ((triple3) -> rule8)) -> rule1) OR ((triple4 ((triple3 triple5) -> rule3)) -> rule1) OR ((triple4 ((((triple5) -> rule5)) -> rule8)) -> rule1) OR ((triple4 ((((triple5) -> rule5) triple5) -> rule3)) -> rule1))] The cat is cold.[(triple2 OR ((triple3) -> rule8) OR ((triple3 triple5) -> rule3) OR ((((triple5) -> rule5)) -> rule8) OR ((((triple5) -> rule5) triple5) -> rule3))] The cat is kind.[(triple3 OR ((triple5) -> rule5) OR ((triple4 triple2) -> rule2) OR ((((triple1) -> rule4) triple2) -> rule2) OR ((((((triple5) -> rule7)) -> rule4) triple2) -> rule2))] The cat is round.[(triple4 OR ((triple1) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((((((triple5) -> rule5)) -> rule6)) -> rule4))] The cat is young.[(triple5)]