The cow is blue. The cow is kind. The cow is nice. The cow is red. The cow is young. Kind, blue things are nice. All young, kind things are blue. If the cow is kind and the cow is nice then the cow is young. If the cow is young then the cow is nice. Young, blue things are red. Nice, blue things are red. If the cow is nice then the cow is young. Red things are young.
The cow is red.
@0: The cow is blue.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple3) -> rule7) triple2) -> rule2) OR ((((triple4) -> rule8) triple2) -> rule2) OR ((((triple2 triple3) -> rule3) triple2) -> rule2))] The cow is kind.[(triple2)] The cow is nice.[(triple3 OR ((triple5) -> rule4) OR ((triple2 triple1) -> rule1) OR ((((triple4) -> rule8)) -> rule4) OR ((triple2 ((triple5 triple2) -> rule2)) -> rule1) OR ((triple2 ((((triple4) -> rule8) triple2) -> rule2)) -> rule1))] The cow is red.[(triple4 OR ((triple3 triple1) -> rule6) OR ((triple5 triple1) -> rule5) OR ((triple3 ((triple5 triple2) -> rule2)) -> rule6) OR ((triple5 ((triple5 triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule7) triple1) -> rule5) OR ((((triple5) -> rule4) triple1) -> rule6) OR ((((triple2 triple1) -> rule1) triple1) -> rule6) OR ((((triple2 triple3) -> rule3) triple1) -> rule5) OR ((((triple3) -> rule7) ((triple5 triple2) -> rule2)) -> rule5) OR ((((triple5) -> rule4) ((triple5 triple2) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule1) ((triple5 triple2) -> rule2)) -> rule6) OR ((((triple2 triple3) -> rule3) ((triple5 triple2) -> rule2)) -> rule5) OR ((triple3 ((((triple3) -> rule7) triple2) -> rule2)) -> rule6) OR ((triple3 ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule6) OR ((triple5 ((((triple3) -> rule7) triple2) -> rule2)) -> rule5) OR ((triple5 ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5) OR ((((((triple2 triple1) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule3) triple1) -> rule5) OR ((((triple2 ((triple5 triple2) -> rule2)) -> rule1) triple1) -> rule6) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule2)) -> rule5) OR ((((triple3) -> rule7) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5) OR ((((triple5) -> rule4) ((((triple3) -> rule7) triple2) -> rule2)) -> rule6) OR ((((triple5) -> rule4) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule6) OR ((((((triple2 triple1) -> rule1)) -> rule7) ((triple5 triple2) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule1) ((((triple3) -> rule7) triple2) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule1) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule6) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule7) triple2) -> rule2)) -> rule5) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule3) ((triple5 triple2) -> rule2)) -> rule5) OR ((((triple2 ((triple5 triple2) -> rule2)) -> rule1) ((triple5 triple2) -> rule2)) -> rule6) OR ((((((triple2 triple1) -> rule1)) -> rule7) ((((triple3) -> rule7) triple2) -> rule2)) -> rule5) OR ((((((triple2 triple1) -> rule1)) -> rule7) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule3) ((((triple3) -> rule7) triple2) -> rule2)) -> rule5) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule3) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5) OR ((((triple2 ((triple5 triple2) -> rule2)) -> rule1) ((((triple3) -> rule7) triple2) -> rule2)) -> rule6) OR ((((triple2 ((triple5 triple2) -> rule2)) -> rule1) ((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule6))] The cow is young.[(triple5 OR ((triple3) -> rule7) OR ((triple4) -> rule8) OR ((triple2 triple3) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule7) OR ((((triple3 triple1) -> rule6)) -> rule8) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule3) OR ((((((triple2 triple1) -> rule1) triple1) -> rule6)) -> rule8))]