The cat is big. The cat is cold. The cat is green. The cat is nice. The cat is round. All green people are round. All green, round people are big. If someone is cold then they are green. If someone is green then they are round. All cold people are round. If the cat is nice then the cat is round. Round people are big. All green, big people are cold.
The cat likes the cat.
@0: The cat is big.[(triple1 OR ((triple5) -> rule7) OR ((triple3 triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple3) -> rule1)) -> rule7) OR ((((triple3) -> rule4)) -> rule7) OR ((((triple4) -> rule6)) -> rule7) OR ((triple3 ((triple2) -> rule5)) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2) OR ((triple3 ((triple3) -> rule4)) -> rule2) OR ((triple3 ((triple4) -> rule6)) -> rule2) OR ((((triple2) -> rule3) triple5) -> rule2) OR ((((triple2) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((triple3) -> rule1)) -> rule2) OR ((((triple2) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((triple2) -> rule3) ((triple4) -> rule6)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((((triple2) -> rule3)) -> rule4)) -> rule7) OR ((triple3 ((((triple2) -> rule3)) -> rule1)) -> rule2) OR ((triple3 ((((triple2) -> rule3)) -> rule4)) -> rule2) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule1)) -> rule2) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule4)) -> rule2))] The cat is cold.[(triple2 OR ((triple3 triple1) -> rule8) OR ((triple3 ((triple5) -> rule7)) -> rule8) OR ((triple3 ((triple3 triple5) -> rule2)) -> rule8) OR ((triple3 ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((triple3 ((((triple3) -> rule4)) -> rule7)) -> rule8) OR ((triple3 ((((triple4) -> rule6)) -> rule7)) -> rule8) OR ((triple3 ((triple3 ((triple3) -> rule1)) -> rule2)) -> rule8) OR ((triple3 ((triple3 ((triple3) -> rule4)) -> rule2)) -> rule8) OR ((triple3 ((triple3 ((triple4) -> rule6)) -> rule2)) -> rule8))] The cat is green.[(triple3 OR ((triple2) -> rule3))] The cat is nice.[(triple4)] The cat is round.[(triple5 OR ((triple2) -> rule5) OR ((triple3) -> rule1) OR ((triple3) -> rule4) OR ((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple3 triple1) -> rule8)) -> rule5))]