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