Bob is round. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is rough. Gary is green. Gary is kind. Gary is young. All round, rough things are red. Kind, red things are young. If something is red then it is kind. If something is round and young then it is green. Rough things are round. All quiet, round things are kind. All kind, quiet things are red. All rough, quiet things are green.
Charlie is young.
@0: Bob is round.[(triple1)] Charlie is green.[(triple2 OR ((triple5 triple3) -> rule8) OR ((triple6 ((((triple4) -> rule3) triple4) -> rule2)) -> rule4) OR ((triple6 ((((triple3 triple6) -> rule6) triple4) -> rule2)) -> rule4) OR ((triple6 ((((triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 triple6) -> rule6) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple4) -> rule3) triple4) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 triple6) -> rule6) triple4) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 triple6) -> rule6) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((((triple6 triple5) -> rule1)) -> rule3) triple4) -> rule2)) -> rule4) OR ((triple6 ((((triple3 ((triple5) -> rule5)) -> rule6) triple4) -> rule2)) -> rule4) OR ((triple6 ((((triple4) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple4) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((((triple6 triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 triple6) -> rule6) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 ((triple5) -> rule5)) -> rule6) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule1)) -> rule3) triple4) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 ((triple5) -> rule5)) -> rule6) triple4) -> rule2)) -> rule4) OR ((triple6 ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple4) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple4) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 triple6) -> rule6) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 ((triple5) -> rule5)) -> rule6) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) triple4) -> rule2)) -> rule4) OR ((triple6 ((((triple4) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 triple6) -> rule6) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) triple4) -> rule2)) -> rule4) OR ((triple6 ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple4) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 triple6) -> rule6) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((triple6 ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2)) -> rule4))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple6 triple5) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1) OR ((((triple3 triple6) -> rule6) triple3) -> rule7) OR ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule5))] Dave is rough.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Charlie is kind.[(((triple4) -> rule3) OR ((triple3 triple6) -> rule6) OR ((((triple6 triple5) -> rule1)) -> rule3) OR ((triple3 ((triple5) -> rule5)) -> rule6) OR ((((((triple5) -> rule5) triple5) -> rule1)) -> rule3))] Dave is round.[(((triple7) -> rule5))] @2: Charlie is young.[(((((triple4) -> rule3) triple4) -> rule2) OR ((((triple3 triple6) -> rule6) triple4) -> rule2) OR ((((triple4) -> rule3) ((triple6 triple5) -> rule1)) -> rule2) OR ((((triple3 triple6) -> rule6) ((triple6 triple5) -> rule1)) -> rule2) OR ((((((triple6 triple5) -> rule1)) -> rule3) triple4) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule6) triple4) -> rule2) OR ((((triple4) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule2) OR ((((triple3 triple6) -> rule6) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2) OR ((((triple3 triple6) -> rule6) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule6) ((triple6 triple5) -> rule1)) -> rule2) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) triple4) -> rule2) OR ((((triple4) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((triple6 triple5) -> rule1)) -> rule2) OR ((((triple3 triple6) -> rule6) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((triple6 triple5) -> rule1)) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple5) -> rule5) triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple3 triple6) -> rule6) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule6) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((((triple5) -> rule5) triple5) -> rule1)) -> rule3) ((((triple3 ((triple5) -> rule5)) -> rule6) triple3) -> rule7)) -> rule2))] Dave is red.[(((((triple7) -> rule5) triple7) -> rule1))] @3: Dave is kind.[(((((((triple7) -> rule5) triple7) -> rule1)) -> rule3))] @4: Dave is young.[(((((((((triple7) -> rule5) triple7) -> rule1)) -> rule3) ((((triple7) -> rule5) triple7) -> rule1)) -> rule2))] @5: Dave is green.[(((((triple7) -> rule5) ((((((((triple7) -> rule5) triple7) -> rule1)) -> rule3) ((((triple7) -> rule5) triple7) -> rule1)) -> rule2)) -> rule4))]