Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is young. Harry is quiet. Harry is smart. Young, smart people are rough. All smart people are nice. If Harry is nice and Harry is young then Harry is smart. Rough, nice people are young. All green, smart people are nice. Young, nice people are quiet. If someone is green and smart then they are rough. Nice, smart people are green.
Harry is not green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2 OR ((triple3 triple6) -> rule8) OR ((((triple6) -> rule2) triple6) -> rule8))] Charlie is nice.[(triple3 OR ((triple6) -> rule2) OR ((triple2 triple6) -> rule5))] Charlie is quiet.[(triple4 OR ((triple7 triple3) -> rule6) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((triple7 ((triple2 triple6) -> rule5)) -> rule6) OR ((((triple5 triple3) -> rule4) triple3) -> rule6) OR ((((triple5 triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple5 triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((triple5 ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((triple5 ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((triple2 triple6) -> rule7) triple3) -> rule4) triple3) -> rule6) OR ((((triple5 ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple5 ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((triple5 ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple5 ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((triple2 triple6) -> rule7) triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule7) triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) triple3) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) triple3) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6))] Charlie is rough.[(triple5 OR ((triple2 triple6) -> rule7) OR ((triple7 triple6) -> rule1) OR ((((triple3 triple6) -> rule8) triple6) -> rule7) OR ((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple6) -> rule2)) -> rule4) OR ((triple5 ((triple2 triple6) -> rule5)) -> rule4) OR ((((triple2 triple6) -> rule7) triple3) -> rule4) OR ((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) OR ((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) OR ((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) OR ((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) OR ((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4))] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple10 triple13) -> rule8) OR ((((triple13) -> rule2) triple13) -> rule8))] Gary is nice.[(triple10 OR ((triple13) -> rule2) OR ((triple9 triple13) -> rule5))] Gary is quiet.[(triple11 OR ((triple14 triple10) -> rule6) OR ((triple14 ((triple13) -> rule2)) -> rule6) OR ((triple14 ((triple9 triple13) -> rule5)) -> rule6) OR ((((triple12 triple10) -> rule4) triple10) -> rule6) OR ((((triple12 triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple12 triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((triple12 ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((triple9 triple13) -> rule7) triple10) -> rule4) triple10) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((triple12 ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple12 ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((triple9 triple13) -> rule7) triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((triple9 triple13) -> rule7) triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) triple10) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) triple10) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6))] Gary is rough.[(triple12 OR ((triple14 triple13) -> rule1) OR ((triple9 triple13) -> rule7) OR ((((triple10 triple13) -> rule8) triple13) -> rule7) OR ((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7))] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple12 triple10) -> rule4) OR ((triple12 ((triple13) -> rule2)) -> rule4) OR ((triple12 ((triple9 triple13) -> rule5)) -> rule4) OR ((((triple9 triple13) -> rule7) triple10) -> rule4) OR ((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) OR ((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) OR ((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) OR ((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) OR ((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) OR ((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) OR ((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) OR ((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4))] Harry is quiet.[(triple15 OR ((((((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7) ((triple16) -> rule2)) -> rule4) ((triple16) -> rule2)) -> rule6))] Harry is smart.[(triple16)] @1: Harry is nice.[(((triple16) -> rule2))] @2: Harry is green.[(((((triple16) -> rule2) triple16) -> rule8))] @3: Harry is rough.[(((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7))] @4: Harry is young.[(((((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7) ((triple16) -> rule2)) -> rule4))]