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