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