Anne is big. Anne is rough. Anne is young. Bob is young. Charlie is cold. Charlie is green. Charlie is nice. Charlie is young. Gary is green. Gary is young. Big, quiet people are green. If someone is cold and young then they are nice. If Bob is rough and Bob is green then Bob is cold. Green people are nice. All nice people are quiet. Young people are cold. If someone is quiet and nice then they are rough. If someone is rough and young then they are cold. All rough, nice people are big.
Charlie is not nice.
@0: Anne is big.[(triple1 OR ((triple2 ((((triple3) -> rule6) triple3) -> rule2)) -> rule9) OR ((triple2 ((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule9) OR ((((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7) ((((triple3) -> rule6) triple3) -> rule2)) -> rule9) OR ((((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7) ((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule9))] Anne is rough.[(triple2 OR ((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7))] Anne is young.[(triple3)] Bob is young.[(triple4)] Charlie is cold.[(triple5 OR ((triple8) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule7) triple8) -> rule8) OR ((((((triple7) -> rule5) ((triple6) -> rule4)) -> rule7) triple8) -> rule8) OR ((((((((triple6) -> rule4)) -> rule5) triple7) -> rule7) triple8) -> rule8) OR ((((((((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule7) triple8) -> rule8))] Charlie is green.[(triple6 OR ((((((((triple7) -> rule5) triple7) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((triple7) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((triple5 triple8) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5)) -> rule1))] Charlie is nice.[(triple7 OR ((triple6) -> rule4) OR ((triple5 triple8) -> rule2) OR ((((triple8) -> rule6) triple8) -> rule2))] Charlie is young.[(triple8)] Gary is green.[(triple9 OR ((((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7) ((((triple10) -> rule6) triple10) -> rule2)) -> rule9) ((((((triple10) -> rule6) triple10) -> rule2)) -> rule5)) -> rule1))] Gary is young.[(triple10)] @1: Anne is cold.[(((triple3) -> rule6) OR ((triple2 triple3) -> rule8))] Bob is cold.[(((triple4) -> rule6))] Charlie is quiet.[(((triple7) -> rule5) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple5 triple8) -> rule2)) -> rule5) OR ((((((triple8) -> rule6) triple8) -> rule2)) -> rule5))] Gary is cold.[(((triple10) -> rule6) OR ((((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule7) triple10) -> rule8))] Gary is nice.[(((triple9) -> rule4) OR ((((triple10) -> rule6) triple10) -> rule2))] @2: Anne is nice.[(((((triple3) -> rule6) triple3) -> rule2) OR ((((triple2 triple3) -> rule8) triple3) -> rule2))] Bob is nice.[(((((triple4) -> rule6) triple4) -> rule2))] Charlie is rough.[(((((triple7) -> rule5) triple7) -> rule7) OR ((((triple7) -> rule5) ((triple6) -> rule4)) -> rule7) OR ((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) OR ((((((triple6) -> rule4)) -> rule5) triple7) -> rule7) OR ((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) OR ((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) OR ((((((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule7) OR ((((((triple6) -> rule4)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) OR ((((((triple5 triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) OR ((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) OR ((((((triple6) -> rule4)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) OR ((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) OR ((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) OR ((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) OR ((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) OR ((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7))] Gary is quiet.[(((((triple9) -> rule4)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule2)) -> rule5))] @3: Anne is quiet.[(((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) OR ((((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule5))] Bob is quiet.[(((((((triple4) -> rule6) triple4) -> rule2)) -> rule5))] Charlie is big.[(((((((triple7) -> rule5) triple7) -> rule7) triple7) -> rule9) OR ((((((triple7) -> rule5) triple7) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((triple7) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((triple7) -> rule5) ((triple6) -> rule4)) -> rule7) triple7) -> rule9) OR ((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((triple7) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((triple7) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((triple7) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((triple7) -> rule5) ((triple6) -> rule4)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((triple7) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) triple7) -> rule7) triple7) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) OR ((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) triple7) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule7) triple7) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) triple7) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((triple7) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((triple6) -> rule4)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple5 triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) triple7) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) triple7) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) triple7) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) triple7) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple6) -> rule4)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((triple5 triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple6) -> rule4)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((triple5 triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule6) triple8) -> rule2)) -> rule5) ((((triple8) -> rule6) triple8) -> rule2)) -> rule7) ((((triple8) -> rule6) triple8) -> rule2)) -> rule9))] Gary is rough.[(((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule7) OR ((((((triple9) -> rule4)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7) OR ((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((triple9) -> rule4)) -> rule7) OR ((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7))] @4: Anne is green.[(((triple1 ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule1) OR ((triple1 ((((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((triple2 ((((triple3) -> rule6) triple3) -> rule2)) -> rule9) ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((triple2 ((((triple3) -> rule6) triple3) -> rule2)) -> rule9) ((((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((triple2 ((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule9) ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((triple2 ((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule9) ((((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7) ((((triple3) -> rule6) triple3) -> rule2)) -> rule9) ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7) ((((triple3) -> rule6) triple3) -> rule2)) -> rule9) ((((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7) ((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule9) ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule1) OR ((((((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule2)) -> rule7) ((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule9) ((((((triple2 triple3) -> rule8) triple3) -> rule2)) -> rule5)) -> rule1))] Bob is rough.[(((((((((triple4) -> rule6) triple4) -> rule2)) -> rule5) ((((triple4) -> rule6) triple4) -> rule2)) -> rule7))] Gary is big.[(((((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule7) ((triple9) -> rule4)) -> rule9) OR ((((((((triple9) -> rule4)) -> rule5) ((triple9) -> rule4)) -> rule7) ((((triple10) -> rule6) triple10) -> rule2)) -> rule9) OR ((((((((triple9) -> rule4)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7) ((triple9) -> rule4)) -> rule9) OR ((((((((triple9) -> rule4)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7) ((((triple10) -> rule6) triple10) -> rule2)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((triple9) -> rule4)) -> rule7) ((triple9) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((triple9) -> rule4)) -> rule7) ((((triple10) -> rule6) triple10) -> rule2)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7) ((triple9) -> rule4)) -> rule9) OR ((((((((((triple10) -> rule6) triple10) -> rule2)) -> rule5) ((((triple10) -> rule6) triple10) -> rule2)) -> rule7) ((((triple10) -> rule6) triple10) -> rule2)) -> rule9))] @5: Bob is big.[(((((((((((triple4) -> rule6) triple4) -> rule2)) -> rule5) ((((triple4) -> rule6) triple4) -> rule2)) -> rule7) ((((triple4) -> rule6) triple4) -> rule2)) -> rule9))] @6: Bob is green.[(((((((((((((triple4) -> rule6) triple4) -> rule2)) -> rule5) ((((triple4) -> rule6) triple4) -> rule2)) -> rule7) ((((triple4) -> rule6) triple4) -> rule2)) -> rule9) ((((((triple4) -> rule6) triple4) -> rule2)) -> rule5)) -> rule1))]