Anne is cold. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Dave is big. Dave is quiet. Harry is cold. Harry is kind. Harry is quiet. Harry is white. Quiet things are young. If something is red then it is quiet. All cold things are red. All big things are kind. If something is young and quiet then it is kind. Kind, quiet things are white. Big things are kind. All kind, big things are quiet.
Charlie is young.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Charlie is cold.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule7) triple2) -> rule8))] Charlie is red.[(triple5 OR ((triple3) -> rule3))] Dave is big.[(triple6)] Dave is quiet.[(triple7 OR ((((triple6) -> rule4) triple6) -> rule8) OR ((((triple6) -> rule7) triple6) -> rule8))] Harry is cold.[(triple8)] Harry is kind.[(triple9 OR ((((triple10) -> rule1) triple10) -> rule5) OR ((((triple10) -> rule1) ((((triple8) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule2)) -> rule1) triple10) -> rule5) OR ((((((((triple8) -> rule3)) -> rule2)) -> rule1) ((((triple8) -> rule3)) -> rule2)) -> rule5))] Harry is quiet.[(triple10 OR ((((triple8) -> rule3)) -> rule2))] Harry is white.[(triple11 OR ((triple9 triple10) -> rule6) OR ((triple9 ((((triple8) -> rule3)) -> rule2)) -> rule6) OR ((((((triple10) -> rule1) triple10) -> rule5) triple10) -> rule6) OR ((((((triple10) -> rule1) triple10) -> rule5) ((((triple8) -> rule3)) -> rule2)) -> rule6) OR ((((((triple10) -> rule1) ((((triple8) -> rule3)) -> rule2)) -> rule5) triple10) -> rule6) OR ((((((triple10) -> rule1) ((((triple8) -> rule3)) -> rule2)) -> rule5) ((((triple8) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple8) -> rule3)) -> rule2)) -> rule1) triple10) -> rule5) triple10) -> rule6) OR ((((((((((triple8) -> rule3)) -> rule2)) -> rule1) triple10) -> rule5) ((((triple8) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple8) -> rule3)) -> rule2)) -> rule1) ((((triple8) -> rule3)) -> rule2)) -> rule5) triple10) -> rule6) OR ((((((((((triple8) -> rule3)) -> rule2)) -> rule1) ((((triple8) -> rule3)) -> rule2)) -> rule5) ((((triple8) -> rule3)) -> rule2)) -> rule6))] @1: Anne is red.[(((triple1) -> rule3))] Charlie is kind.[(((triple2) -> rule4) OR ((triple2) -> rule7) OR ((((triple4) -> rule1) triple4) -> rule5) OR ((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((((triple5) -> rule2)) -> rule1) triple4) -> rule5) OR ((((triple4) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((((triple5) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule1) triple4) -> rule5) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5))] Charlie is young.[(((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule2)) -> rule1) OR ((((((triple2) -> rule4) triple2) -> rule8)) -> rule1) OR ((((((triple2) -> rule7) triple2) -> rule8)) -> rule1))] Dave is kind.[(((triple6) -> rule4) OR ((triple6) -> rule7) OR ((((triple7) -> rule1) triple7) -> rule5))] Dave is young.[(((triple7) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule8)) -> rule1) OR ((((((triple6) -> rule7) triple6) -> rule8)) -> rule1))] Harry is red.[(((triple8) -> rule3))] Harry is young.[(((triple10) -> rule1) OR ((((((triple8) -> rule3)) -> rule2)) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule2))] Charlie is white.[(((((triple2) -> rule4) triple4) -> rule6) OR ((((triple2) -> rule7) triple4) -> rule6) OR ((((triple2) -> rule4) ((triple5) -> rule2)) -> rule6) OR ((((triple2) -> rule7) ((triple5) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) triple4) -> rule5) triple4) -> rule6) OR ((((triple2) -> rule4) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule4) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule7) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((triple2) -> rule7) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule1) triple4) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) triple4) -> rule6) OR ((((((triple4) -> rule1) triple4) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) triple4) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule1) triple4) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) triple4) -> rule5) triple4) -> rule6) OR ((((((triple4) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) triple4) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) triple4) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) triple4) -> rule6) OR ((((((triple4) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) triple4) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) triple4) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) triple4) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) triple4) -> rule6) OR ((((((triple4) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((triple4) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) triple4) -> rule5) triple4) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) triple4) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) triple4) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) triple4) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) triple4) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) triple4) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) triple4) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple2) -> rule4) triple2) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5) ((((triple2) -> rule7) triple2) -> rule8)) -> rule6))] Dave is white.[(((((triple6) -> rule4) triple7) -> rule6) OR ((((triple6) -> rule7) triple7) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule5) triple7) -> rule6) OR ((((triple6) -> rule4) ((((triple6) -> rule4) triple6) -> rule8)) -> rule6) OR ((((triple6) -> rule4) ((((triple6) -> rule7) triple6) -> rule8)) -> rule6) OR ((((triple6) -> rule7) ((((triple6) -> rule4) triple6) -> rule8)) -> rule6) OR ((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule8)) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule5) ((((triple6) -> rule4) triple6) -> rule8)) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule5) ((((triple6) -> rule7) triple6) -> rule8)) -> rule6))] @3: Anne is young.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))] @4: Anne is kind.[(((((((((triple1) -> rule3)) -> rule2)) -> rule1) ((((triple1) -> rule3)) -> rule2)) -> rule5))] @5: Anne is white.[(((((((((((triple1) -> rule3)) -> rule2)) -> rule1) ((((triple1) -> rule3)) -> rule2)) -> rule5) ((((triple1) -> rule3)) -> rule2)) -> rule6))]