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