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