Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Smart people are big. Nice, round people are smart. If someone is rough then they are smart. If someone is round then they are smart. If Charlie is rough and Charlie is big then Charlie is green. All smart people are rough. If Charlie is blue then Charlie is nice. Round, blue people are green.
Charlie is blue.
@0: Charlie is big.[(triple1 OR ((triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((triple6) -> rule4)) -> rule1) OR ((((triple4 triple6) -> rule2)) -> rule1) OR ((((((triple2) -> rule7) triple6) -> rule2)) -> rule1))] Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple5 triple1) -> rule5) OR ((triple6 triple2) -> rule8) OR ((triple5 ((triple7) -> rule1)) -> rule5) OR ((((triple7) -> rule6) triple1) -> rule5) OR ((((triple7) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((triple5 ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((triple5 ((((triple6) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((triple4 triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6) triple1) -> rule5) OR ((((((triple4 triple6) -> rule2)) -> rule6) triple1) -> rule5) OR ((((triple7) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((((triple6) -> rule4)) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((((triple4 triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule2)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6) ((((triple6) -> rule4)) -> rule1)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6) ((((triple4 triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule2)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule2)) -> rule6) ((((triple6) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule2)) -> rule6) ((((triple4 triple6) -> rule2)) -> rule1)) -> rule5) OR ((triple5 ((((((triple2) -> rule7) triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule7) triple6) -> rule2)) -> rule6) triple1) -> rule5) OR ((((triple7) -> rule6) ((((((triple2) -> rule7) triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule7) triple6) -> rule2)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple6) -> rule4)) -> rule6) ((((((triple2) -> rule7) triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple4 triple6) -> rule2)) -> rule6) ((((((triple2) -> rule7) triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule7) triple6) -> rule2)) -> rule6) ((((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule7) triple6) -> rule2)) -> rule6) ((((triple6) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule7) triple6) -> rule2)) -> rule6) ((((triple4 triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple2) -> rule7) triple6) -> rule2)) -> rule6) ((((((triple2) -> rule7) triple6) -> rule2)) -> rule1)) -> rule5))] Charlie is nice.[(triple4 OR ((triple2) -> rule7))] Charlie is rough.[(triple5 OR ((triple7) -> rule6) OR ((((triple6) -> rule4)) -> rule6) OR ((((triple4 triple6) -> rule2)) -> rule6) OR ((((((triple2) -> rule7) triple6) -> rule2)) -> rule6))] Charlie is round.[(triple6)] Charlie is smart.[(triple7 OR ((triple5) -> rule3) OR ((triple6) -> rule4) OR ((triple4 triple6) -> rule2) OR ((((triple2) -> rule7) triple6) -> rule2))]