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