Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is blue and cold then it is nice. Kind, blue things are nice. Rough, nice things are young. Kind, young things are red. Rough, blue things are young. If something is kind then it is young. If Charlie is red then Charlie is blue. All cold things are rough.
Charlie is nice.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule7) OR ((((triple3 triple7) -> rule4)) -> rule7) OR ((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule7) OR ((((triple3 ((triple6 triple4) -> rule3)) -> rule4)) -> rule7) OR ((((triple3 ((((triple2) -> rule8) triple4) -> rule3)) -> rule4)) -> rule7))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple1 triple2) -> rule1) OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple5) -> rule7)) -> rule2) OR ((((triple5) -> rule7) triple2) -> rule1) OR ((triple3 ((((triple3 triple7) -> rule4)) -> rule7)) -> rule2) OR ((((((triple3 triple7) -> rule4)) -> rule7) triple2) -> rule1) OR ((triple3 ((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple3 ((triple3) -> rule6)) -> rule4)) -> rule7) triple2) -> rule1))] Charlie is red.[(triple5 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4) OR ((triple3 ((triple6 triple1) -> rule5)) -> rule4) OR ((triple3 ((triple6 triple4) -> rule3)) -> rule4) OR ((triple3 ((triple6 ((triple1 triple2) -> rule1)) -> rule3)) -> rule4) OR ((triple3 ((triple6 ((triple3 triple1) -> rule2)) -> rule3)) -> rule4) OR ((triple3 ((((triple2) -> rule8) triple1) -> rule5)) -> rule4) OR ((triple3 ((((triple2) -> rule8) triple4) -> rule3)) -> rule4) OR ((triple3 ((((triple2) -> rule8) ((triple1 triple2) -> rule1)) -> rule3)) -> rule4) OR ((triple3 ((((triple2) -> rule8) ((triple3 triple1) -> rule2)) -> rule3)) -> rule4))] Charlie is rough.[(triple6 OR ((triple2) -> rule8))] Charlie is young.[(triple7 OR ((triple3) -> rule6) OR ((triple6 triple1) -> rule5) OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple5) -> rule7)) -> rule5) OR ((triple6 ((triple1 triple2) -> rule1)) -> rule3) OR ((triple6 ((triple3 triple1) -> rule2)) -> rule3) OR ((((triple2) -> rule8) triple1) -> rule5) OR ((((triple2) -> rule8) triple4) -> rule3) OR ((((triple2) -> rule8) ((triple5) -> rule7)) -> rule5) OR ((((triple2) -> rule8) ((triple1 triple2) -> rule1)) -> rule3) OR ((((triple2) -> rule8) ((triple3 triple1) -> rule2)) -> rule3) OR ((triple6 ((triple3 ((triple5) -> rule7)) -> rule2)) -> rule3) OR ((triple6 ((((triple5) -> rule7) triple2) -> rule1)) -> rule3) OR ((((triple2) -> rule8) ((triple3 ((triple5) -> rule7)) -> rule2)) -> rule3) OR ((((triple2) -> rule8) ((((triple5) -> rule7) triple2) -> rule1)) -> rule3))]