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