Charlie is big. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. All smart things are big. All cold, red things are young. If Charlie is young then Charlie is green. If Charlie is smart then Charlie is young. Red things are smart. If Charlie is big and Charlie is green then Charlie is rough. Young things are smart. All cold things are smart.
Charlie is not rough.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule1) OR ((((triple2) -> rule8)) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((triple7) -> rule7)) -> rule1) OR ((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1))] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple7) -> rule3) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple2 triple4) -> rule2)) -> rule3) OR ((((((triple2) -> rule8)) -> rule4)) -> rule3) OR ((((((triple4) -> rule5)) -> rule4)) -> rule3))] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple7) -> rule3)) -> rule6) OR ((((triple6) -> rule1) triple3) -> rule6) OR ((((triple6) -> rule1) ((triple7) -> rule3)) -> rule6) OR ((triple1 ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple1 ((((triple2 triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1) triple3) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) triple3) -> rule6) OR ((((((triple7) -> rule7)) -> rule1) triple3) -> rule6) OR ((((triple6) -> rule1) ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((triple6) -> rule1) ((((triple2 triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1) ((triple7) -> rule3)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) ((triple7) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule1) ((triple7) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1) ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1) ((((triple2 triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) ((((triple2 triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule1) ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule1) ((((triple2 triple4) -> rule2)) -> rule3)) -> rule6) OR ((triple1 ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((triple1 ((((((triple4) -> rule5)) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1) triple3) -> rule6) OR ((((triple6) -> rule1) ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((((triple6) -> rule1) ((((((triple4) -> rule5)) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1) ((triple7) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1) ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple2) -> rule8)) -> rule1) ((((((triple4) -> rule5)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) ((((((triple4) -> rule5)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule1) ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule1) ((((((triple4) -> rule5)) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1) ((((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1) ((((triple2 triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1) ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple2 triple4) -> rule2)) -> rule7)) -> rule1) ((((((triple4) -> rule5)) -> rule4)) -> rule3)) -> rule6))] Charlie is smart.[(triple6 OR ((triple2) -> rule8) OR ((triple4) -> rule5) OR ((triple7) -> rule7) OR ((((triple2 triple4) -> rule2)) -> rule7))] Charlie is young.[(triple7 OR ((triple6) -> rule4) OR ((triple2 triple4) -> rule2) OR ((((triple2) -> rule8)) -> rule4) OR ((((triple4) -> rule5)) -> rule4))]