The cat is cold. The cat is kind. The cat is nice. The cat is round. The cat is young. If the cat is kind and the cat is young then the cat is round. If someone is cold then they are nice. If someone is round and young then they are nice. Round people are nice. If someone is nice then they are cold. If the cat is cold then the cat is young. Young people are nice. If someone is nice then they are round.
The cat is not young.
@0: The cat is cold.[(triple1 OR ((triple3) -> rule5) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple5) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule3)) -> rule5) OR ((((((triple2 triple5) -> rule1)) -> rule4)) -> rule5) OR ((((((triple2 triple5) -> rule1) triple5) -> rule3)) -> rule5))] The cat is kind.[(triple2)] The cat is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple4) -> rule4) OR ((triple5) -> rule7) OR ((triple4 triple5) -> rule3) OR ((((triple1) -> rule6)) -> rule7) OR ((((triple2 triple5) -> rule1)) -> rule4) OR ((triple4 ((triple1) -> rule6)) -> rule3) OR ((((triple2 triple5) -> rule1) triple5) -> rule3) OR ((((triple2 triple5) -> rule1) ((triple1) -> rule6)) -> rule3) OR ((((triple2 ((triple1) -> rule6)) -> rule1)) -> rule4) OR ((((triple2 ((triple1) -> rule6)) -> rule1) triple5) -> rule3) OR ((((triple2 ((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3))] The cat is round.[(triple4 OR ((triple3) -> rule8) OR ((triple2 triple5) -> rule1) OR ((((triple1) -> rule2)) -> rule8) OR ((((triple5) -> rule7)) -> rule8) OR ((triple2 ((triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule6)) -> rule7)) -> rule8) OR ((triple2 ((((triple3) -> rule5)) -> rule6)) -> rule1))] The cat is young.[(triple5 OR ((triple1) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((((triple4) -> rule4)) -> rule5)) -> rule6))]